A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module.

Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger

Browse the full TACAS paper archive.