Mohammad-Mahdi Bidmeshki

According to our database, Mohammad-Mahdi Bidmeshki authored at least 17 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Proof-Carrying Hardware-Based Information Flow Tracking in Analog/Mixed-Signal Designs.

Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris

IEEE J. Emerg. Sel. Topics Circuits Syst., 2021

Hunting Security Bugs in SoC Designs: Lessons Learned.

Mohammad-Mahdi Bidmeshki, Yunjie Zhang, Monir Zaman, Liwei Zhou, Yiorgos Makris

IEEE Des. Test, 2021

2019

VIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration.

Gaurav Rajavendra Reddy, Mohammad-Mahdi Bidmeshki, Yiorgos Makris

Proceedings of the IEEE International Test Conference, 2019

Trusted and Secure Design of Analog/RF ICs: Recent Developments.

Kiruba S. Subramani, Georgios Volanis, Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris

Proceedings of the 25th IEEE International Symposium on On-Line Testing and Robust System Design, 2019

Revisiting Capacitor-Based Trojan Design.

Mohammad-Mahdi Bidmeshki, Kiruba Sankaran Subramani, Yiorgos Makris

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

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

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

Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP.

Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

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

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

A machine learning approach to fab-of-origin attestation.

Ali Ahmadi, Mohammad-Mahdi Bidmeshki, Amit Nahar, Bob Orr, Michael Pas, Yiorgos Makris

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

2015

VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation.

Mohammad-Mahdi Bidmeshki, Yiorgos Makris

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Toward automatic proof generation for information flow policies in third-party hardware IP.

Mohammad-Mahdi Bidmeshki, Yiorgos Makris

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2015

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

Proceedings of the Wireless Health 2013, 2013

Low power programmable architecture for periodic activity monitoring.

Mohammad-Mahdi Bidmeshki, Roozbeh Jafari

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

2011

Rejection of irrelevant human actions in real-time hidden Markov model based recognition systems for wearable computers.

Jerry Mannil, Mohammad-Mahdi Bidmeshki, Roozbeh Jafari

Proceedings of Wireless Health 2011, 2011

2007

Improving Network's Performability Using Parallel Processing.

Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi

Proceedings of the Sixth International Conference on Networking (ICN 2007), 2007

The Effect of Routing-Update Time on Network's Performability.

Mostafa Shaad Zolpirani, Mohammad-Mahdi Bidmeshki, Seyed Ghassem Miremadi

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007