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 12099864 · Granted Sep 24, 2024

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
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
Formally verified trusted computing base with active security and policy enforce2022
Formally verified trusted computing base with active security and policy enforce2022
Formally verified trusted computing base with active security and policy enforce2022