Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Formally verified trusted computing base with active security and policy enforcement

Formally verified trusted computing base with active security and policy enforcement

US Patent 11442770 · Granted Sep 13, 2022

Assignee

No assignee recorded.

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Physical memory isolation2025
Process credential protection2025
Malware detection verification and enhancement by coordinating endpoint and malw2024
Malware detection verification and enhancement by coordinating endpoint and malw2024
Formally verified trusted computing base with active security and policy enforce2024
Formally verified trusted computing base with active security and policy enforce2024
Formally verified trusted computing base with active security and policy enforce2024
Technique for verifying exploit/malware at malware detection appliance through c2024
Technique for verifying exploit/malware at malware detection appliance through c2024
Risk analyzer for ascertaining a risk of harm to a network and generating alerts2024
Risk analyzer for ascertaining a risk of harm to a network and generating alerts2024
System and method for detecting malicious traffic using a virtual machine config2023