The Effect of Routing-Update Time on Network's Performability. - Mostafa Shaad Zolpirani; Mohammad-Mahdi Bidmeshki; Seyed Ghassem Miremadi (AICCSA, 2007)

Improving Network's Performability Using Parallel Processing. - Mostafa Shaad Zolpirani; Mohammad-Mahdi Bidmeshki; Seyed Ghassem Miremadi (ICN, 2007)

Rejection of irrelevant human actions in real-time hidden Markov model based recognition systems for wearable computers. - Jerry Mannil; Mohammad-Mahdi Bidmeshki; Roozbeh Jafari (Wireless Health, 2011)

Low power programmable architecture for periodic activity monitoring. - Mohammad-Mahdi Bidmeshki; Roozbeh Jafari (ICCPS, 2013)

The impact of vibrotactile biofeedback on the excessive walking sway and the postural control in elderly. - Omid Dehzangi; Zheng Zhao; Mohammad-Mahdi Bidmeshki; John Biggan; Christopher Ray; Roozbeh Jafari (Wireless Health, 2013)

Toward automatic proof generation for information flow policies in third-party hardware IP. - Mohammad-Mahdi Bidmeshki; Yiorgos Makris (HOST, 2015)

VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation. - Mohammad-Mahdi Bidmeshki; Yiorgos Makris (ISCAS, 2015)

A machine learning approach to fab-of-origin attestation. - Ali Ahmadi; Mohammad-Mahdi Bidmeshki; Amit Nahar; Bob Orr; Michael Pas; Yiorgos Makris (ICCAD, 2016)

Hardware-based attacks to compromise the cryptographic security of an election system. - Mohammad-Mahdi Bidmeshki; Gaurav Rajavendra Reddy; Liwei Zhou; Jeyavijayan Rajendran; Yiorgos Makris (ICCD, 2016)

Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP. - Mohammad-Mahdi Bidmeshki; Angelos Antonopoulos 002; Yiorgos Makris (DATE, 2017)

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation. - Mohammad-Mahdi Bidmeshki; Xiaolong Guo; Raj Gautam Dutta; Yier Jin; Yiorgos Makris (IEEE Trans. Inf. Forensics Secur., 2017)

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals. - Yier Jin; Xiaolong Guo; Raj Gautam Dutta; Mohammad-Mahdi Bidmeshki; Yiorgos Makris (IEEE Trans. Inf. Forensics Secur., 2017)

Revisiting Capacitor-Based Trojan Design. - Mohammad-Mahdi Bidmeshki; Kiruba Sankaran Subramani; Yiorgos Makris (ICCD, 2019)

Trusted and Secure Design of Analog/RF ICs: Recent Developments. - Kiruba S. Subramani; Georgios Volanis; Mohammad-Mahdi Bidmeshki; Angelos Antonopoulos 002; Yiorgos Makris (IOLTS, 2019)

VIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration. - Gaurav Rajavendra Reddy; Mohammad-Mahdi Bidmeshki; Yiorgos Makris (ITC, 2019)

Hunting Security Bugs in SoC Designs: Lessons Learned. - Mohammad-Mahdi Bidmeshki; Yunjie Zhang; Monir Zaman; Liwei Zhou; Yiorgos Makris (IEEE Des. Test, 2021)

Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs. - Mohammad-Mahdi Bidmeshki; Angelos Antonopoulos 002; Yiorgos Makris (IEEE J. Emerg. Sel. Topics Circuits Syst., 2021)