Mohammad-Mahdi Bidmeshki

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 10

Top Topics

Design Space Exploration

Information Flow

Hardware And Software

Top Venues

IEEE Trans. Inf. Forensics Secur.

IEEE J. Emerg. Sel. Topics Circuits Syst.

Publications

Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris
Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs. IEEE J. Emerg. Sel. Topics Circuits Syst. 11 (2) (2021)
Mohammad-Mahdi Bidmeshki, Yunjie Zhang, Monir Zaman, Liwei Zhou, Yiorgos Makris
Hunting Security Bugs in SoC Designs: Lessons Learned. IEEE Des. Test 38 (1) (2021)
Kiruba S. Subramani, Georgios Volanis, Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris
Trusted and Secure Design of Analog/RF ICs: Recent Developments. IOLTS (2019)
Mohammad-Mahdi Bidmeshki, Kiruba Sankaran Subramani, Yiorgos Makris
Revisiting Capacitor-Based Trojan Design. ICCD (2019)
Gaurav Rajavendra Reddy, Mohammad-Mahdi Bidmeshki, Yiorgos Makris
VIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration. ITC (2019)
Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris
Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP. DATE (2017)
Yier Jin, Xiaolong Guo, Raj Gautam Dutta, Mohammad-Mahdi Bidmeshki, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Mohammad-Mahdi Bidmeshki, Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Mohammad-Mahdi Bidmeshki, Gaurav Rajavendra Reddy, Liwei Zhou, Jeyavijayan Rajendran, Yiorgos Makris
Hardware-based attacks to compromise the cryptographic security of an election system. ICCD (2016)
Ali Ahmadi, Mohammad-Mahdi Bidmeshki, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris
A machine learning approach to fab-of-origin attestation. ICCAD (2016)
Mohammad-Mahdi Bidmeshki, Yiorgos Makris
Toward automatic proof generation for information flow policies in third-party hardware IP. HOST (2015)
Mohammad-Mahdi Bidmeshki, Yiorgos Makris
VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation. ISCAS (2015)
Omid Dehzangi, Zheng Zhao, Mohammad-Mahdi Bidmeshki, John Biggan, Christopher Ray, Roozbeh Jafari
The impact of vibrotactile biofeedback on the excessive walking sway and the postural control in elderly. Wireless Health (2013)
Mohammad-Mahdi Bidmeshki, Roozbeh Jafari
Low power programmable architecture for periodic activity monitoring. ICCPS (2013)
Jerry Mannil, Mohammad-Mahdi Bidmeshki, Roozbeh Jafari
Rejection of irrelevant human actions in real-time hidden Markov model based recognition systems for wearable computers. Wireless Health (2011)
Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi
The Effect of Routing-Update Time on Network's Performability. AICCSA (2007)
Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi
Improving Network's Performability Using Parallel Processing. ICN (2007)