Quantifiable assurance: from IPs to platforms B Ahmed, MK Bepary, N Pundir, M Borza, O Raikhman, A Garg, ... arXiv preprint arXiv:2204.07909, 2022 | 25 | 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 | 18 | 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 | 9 | 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 | 8 | 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 |
SoC Security Verification: Challenges and Solution B Ahmed, F Farahmandi TECHCONE, 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 |
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 | 1 | 2023 |
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 | | 2024 |