| Quantifiable assurance: from IPs to platforms B Ahmed, MK Bepary, N Pundir, M Borza, O Raikhman, A Garg, ... arXiv preprint arXiv:2204.07909, 2022 | 26 | 2022 |
| Data-driven design of context-aware monitors for hazard prediction in artificial pancreas systems X Zhou, B Ahmed, JH Aylor, P Asare, H Alemzadeh 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021 | 20 | 2021 |
| Hybrid knowledge and data driven synthesis of runtime monitors for cyber-physical systems X Zhou, B Ahmed, JH Aylor, P Asare, H Alemzadeh IEEE Transactions on Dependable and Secure Computing 21 (1), 12-30, 2023 | 17 | 2023 |
| Automap: Automated mapping of security properties between different levels of abstraction in design flow B Ahmed, F Rahman, N Hooten, F Farahmandi, M Tehranipoor 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-9, 2021 | 10 | 2021 |
| A survey on interconnect encoding for reducing power consumption, delay, and crosstalk SK Saha, B Ahmed, J Liu 2015 2nd International Conference on Electrical Information and …, 2015 | 8 | 2015 |
| SeeMLess: Security Evaluation of Logic Locking using Machine Learning oriented Estimation B Ahmed, S Rahman, KZ Azar, F Farahmandi, F Rahman, M Tehranipoor Proceedings of the Great Lakes Symposium on VLSI 2024, 489-494, 2024 | 2 | 2024 |
| Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance S Aftabjahani, M Tehranipoor, F Farahmandi, B Ahmed, R Kastner, ... 41st IEEE VLSI Test Symposium 2023, 2023 | 2 | 2023 |
| Modified bus invert encoding to reduce capacitive crosstalk, power and inductive noise B Ahmed, SK Saha, J Liu 2015 2nd International Conference on Electrical Information and …, 2015 | 2 | 2015 |
| Continuity in Security: Leveraging LLM for Translating Security Properties Across Hardware Designs B Ahmed, SK Saha, J Zhou, S Aftabjahani, M Tehranipoor, F Farahmandi 2024 IFIP/IEEE 32nd International Conference on Very Large Scale Integration …, 2024 | | 2024 |
| SoC Security Verification: Challenges and Solution B Ahmed, F Farahmandi TECHCONE, 2023 | | 2023 |
Mark M. TehranipoorIntel Charles E. Young Endowed Chair Professor, ECE, University of FloridaVerified email at ufl.edu