Video s3 ICECS 2020 | Technical Lecture and Demo A Formal Verification Approach for Detecting Opcode Trojans Presented Date Nov 23, 2020
Video s3 ICECS 2021 | Technical Lecture and Demo Formal Verification Approach to Detect Always-on Denial of Service Trojans in Pipelined... Presented Date Dec 1, 2021