A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module
Abstract elided by the publisher.
Related papers
- Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study CAV 1995
- Making Concurrent Hardware Verification Sequential PLDI 2025
- Generically Automating Separation Logic by Functors, Homomorphisms, and Modules POPL 2025
- VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems POPL 2025
- Neural Network Robustness as a Verification Property: A Principled Case Study CAV 2022
- Show Me The Money: An Exercise in Proof-Driven Software Understanding CAV 2026
- Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation CAV 2009
- Compilation Semantics for a Programming Language with Versions APLAS 2023