Mohammad-Mahdi Bidmeshki

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