Mohammad-Mahdi Bidmeshki

Statistics

Publications

Citations

160

H-Index

Active since

2013

Affiliations

The University of Texas at Dallas(Current)

University of Central Florida

Mohammad-Mahdi Bidmeshki is an author at The University of Texas at Dallas specializing in computer engineering, formal methods, and computer science.

Publications per year

2013–2017

Publications

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

Mohammad-Mahdi Bidmeshki, Yiorgos Makris · 2015 · 35 citations

Computing, Computer Engineering, Computer Science +14

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals

Yier Jin, Xiaolong Guo, Raj Gautam Dutta et al. · IEEE Transactions on Information Forensics and Security · 2017 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +17

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

Mohammad-Mahdi Bidmeshki, Yiorgos Makris · 2015 · 26 citations

Engineering, Computer Engineering, Computer Science +17

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

Mohammad-Mahdi Bidmeshki, Angelos Antonopoulos, Yiorgos Makris · 2017 · 22 citations

Engineering, Computer Engineering, Electrical Engineering +13

Low power programmable architecture for periodic activity monitoring

Mohammad-Mahdi Bidmeshki, Roozbeh Jafari · 2013 · 15 citations

Engineering, Biomedical Engineering, Computer Systems +17

1–5 of 8