Leading Mitigations

• MID-003: Periodic/Continuous Integrity Measurement and Remote Attestation
• MID-006: Driver Memory Isolation
• MID-024: Encrypted VM Isolation
• MID-025: End-of-Life Management Features
• MID-062: Hardware Mitigations for Fault Injection
• MID-070: Peripheral Component Authentication
• MID-086: Hardware Enforcement of Memory Access
• MID-087: Utilization of Formally Verified OS (Micro-)Kernels
• MID-088: Formally Verified Parsers
• MID-089: Formal Methods Verification of Critical Functionality Implementation

Leading