| Toward automatic proof generation for information flow policies in third-party hardware IP MM Bidmeshki, Y Makris 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015 | 44 | 2015 |
| VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation MM Bidmeshki, Y Makris 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 29-32, 2015 | 42 | 2015 |
| Data secrecy protection through information flow tracking in proof-carrying hardware IP—Part I: Framework fundamentals Y Jin, X Guo, RG Dutta, MM Bidmeshki, Y Makris IEEE Transactions on Information Forensics and Security 12 (10), 2416-2429, 2017 | 36 | 2017 |
| Information flow tracking in analog/mixed-signal designs through proof-carrying hardware IP MM Bidmeshki, A Antonopoulos, Y Makris Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017 | 31 | 2017 |
| Data secrecy protection through information flow tracking in proof-carrying hardware IP—Part II: Framework automation MM Bidmeshki, X Guo, RG Dutta, Y Jin, Y Makris IEEE Transactions on Information Forensics and Security 12 (10), 2430-2443, 2017 | 27 | 2017 |
| Low power programmable architecture for periodic activity monitoring MM Bidmeshki, R Jafari Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical …, 2013 | 16 | 2013 |
| Hardware-based attacks to compromise the cryptographic security of an election system MM Bidmeshki, GR Reddy, L Zhou, J Rajendran, Y Makris 2016 IEEE 34th International Conference on Computer Design (ICCD), 153-156, 2016 | 14 | 2016 |
| The impact of vibrotactile biofeedback on the excessive walking sway and the postural control in elderly O Dehzangi, Z Zhao, MM Bidmeshki, J Biggan, C Ray, R Jafari Proceedings of the 4th Conference on Wireless Health, 1-7, 2013 | 14 | 2013 |
| A machine learning approach to fab-of-origin attestation A Ahmadi, MM Bidmeshki, A Nahar, B Orr, M Pas, Y Makris 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-6, 2016 | 12 | 2016 |
| Don't CWEAT It: Toward CWE Analysis Techniques in Early Stages of Hardware Design B Ahmad, WK Liu, L Collini, H Pearce, JM Fung, J Valamehr, M Bidmeshki, ... Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022 | 10 | 2022 |
| Proof-carrying hardware-based information flow tracking in analog/mixed-signal designs MM Bidmeshki, A Antonopoulos, Y Makris IEEE Journal on Emerging and Selected Topics in Circuits and Systems 11 (2 …, 2021 | 9 | 2021 |
| Trusted and secure design of analog/RF ICs: Recent developments K Subramani, G Volanis, MM Bidmeshki, A Antonopoulos, Y Makris 2019 IEEE 25th International Symposium on On-Line Testing and Robust System …, 2019 | 8 | 2019 |
| Rejection of irrelevant human actions in real-time hidden Markov model based recognition systems for wearable computers J Mannil, MM Bidmeshki, R Jafari Proceedings of the 2nd Conference on Wireless Health, 1-10, 2011 | 7 | 2011 |
| Hunting security bugs in SoC designs: Lessons learned MM Bidmeshki, Y Zhang, M Zaman, L Zhou, Y Makris IEEE Design & Test 38 (1), 22-29, 2020 | 6 | 2020 |
| VIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration GR Reddy, MM Bidmeshki, Y Makris International Test Conference (ITC), 2019 | 6 | 2019 |
| Genetic physical unclonable functions in human cells Y Li, MM Bidmeshki, T Kang, CM Nowak, Y Makris, L Bleris Science Advances 8 (18), eabm4106, 2022 | 5 | 2022 |
| Revisiting Capacitor-Based Trojan Design MM Bidmeshki, KS Subramani, Y Makris International Conference on Computer Design (ICCD), 2019 | 4 | 2019 |
| The Effect of Routing-Update Time on Network's Performability MS Zolpirani, MM Bidmeshki, SG Miremadi 2007 IEEE/ACS International Conference on Computer Systems and Applications …, 2007 | 3 | 2007 |
| Provenance attestation of human cells using physical unclonable functions Y Li, MM Bidmeshki, T Kang, CM Nowak, Y Makris, L Bleris bioRxiv, 2021.06. 11.448108, 2021 | 1 | 2021 |
| Improving Network's Performability Using Parallel Processing MS Zolpirani, MM Bidmeshki, SG Miremadi Sixth International Conference on Networking (ICN'07), 40-40, 2007 | 1 | 2007 |
