עקוב אחר
Bulbul Ahmed
Bulbul Ahmed
כתובת אימייל מאומתת בדומיין ufl.edu
כותרת
צוטט על ידי
צוטט על ידי
שנה
Quantifiable assurance: From ips to platforms
B Ahmed, MK Bepary, N Pundir, M Borza, O Raikhman, A Garg, ...
arXiv preprint arXiv:2204.07909, 2022
272022
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
212021
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
172023
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
102021
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
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
22024
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
22023
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
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
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–10