1. Soft-HaT
2. Mohammad-Mahdi Bidmeshki , Angelos Antonopoulos , and Yiorgos Makris . 2017 . Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP . In DATE , 2017. Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, and Yiorgos Makris. 2017. Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP. In DATE, 2017.
3. Mohammad Mahdi Bidmeshki , Kiruba Sankaran Subramani, and Yiorgos Makris . 2019 . Revisiting Capacitor-Based Trojan Design. In ICCD. Mohammad Mahdi Bidmeshki, Kiruba Sankaran Subramani, and Yiorgos Makris. 2019. Revisiting Capacitor-Based Trojan Design. In ICCD.
4. Novel Design Strategy Toward A2 Trojan Detection Based on Built-In Acceleration Structure
5. Domenic Forte Chongxi Bao and Ankur Srivastava. 2013. Temperature tracking: An innovative run-time approach for hardware Trojan detection. In 2013 IEEE/ACM ICCAD. Domenic Forte Chongxi Bao and Ankur Srivastava. 2013. Temperature tracking: An innovative run-time approach for hardware Trojan detection. In 2013 IEEE/ACM ICCAD.