Dirk Beyer 0001, Po-Chun Chien, Bo-Yuan Huang 0001, Nian-Ze Lee, Thomas Lemberger 0002. A Case Study in Firmware Verification: Applying Formal Methods to Intel$^\circledR $ TDX Module. In Sebastian Junges, Guy Katz, editors, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II. Volume 16506 of Lecture Notes in Computer Science, pages 42-64, Springer, 2026. [doi]
Abstract is missing.