[Lecture & Seminar] A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module
Lecture: Asst. Prof. Nian-Ze Lee, Department of Electrical Engineering, National Taiwan University
Time & Date: 3:00 PM – 5:00 PM, Oct. 22st, 2026 (Thursday)
Venue: International Conference Hall, B2, Hong-Yu Technology Building
Topic: A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module
Time & Date: 3:00 PM – 5:00 PM, Oct. 22st, 2026 (Thursday)
Venue: International Conference Hall, B2, Hong-Yu Technology Building
Topic: A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module
Share