关注
Bulbul Ahmed
标题
引用次数
引用次数
年份
Quantifiable assurance: from IPs to platforms
B Ahmed, MK Bepary, N Pundir, M Borza, O Raikhman, A Garg, ...
arXiv preprint arXiv:2204.07909, 2022
252022
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
182021
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
92023
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
82021
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
82015
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
22015
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
12023
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
系统目前无法执行此操作,请稍后再试。
文章 1–9