[專題演講] 韌體驗證案例探討：應用形式方法於Intel TDX模組 A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module
專題演講公告
主講人：國立臺灣大學 電機工程學系 李念澤 助理教授
時間：115年10月22日 (星期四) 下午3:00至5:00
地點：科技大樓國際演講廳
題目：韌體驗證案例探討：應用形式方法於Intel TDX模組 A Case Study in Firmware Verification: Applying Formal Methods to Intel® TDX Module
LINK：[專題演講] 115學年度第1學期專題學術演講列表