Brief Bio
Hadi Kamali is an Assistant Professor in the Department of Electrical and Computer Engineering (ECE) at the University of Central Florida (UCF). He received his Ph.D. degree from the Department of ECE at George Mason University, 2021. His research delves into the following topics:
- VLSI Design and Testing
- Hardware Security and Trust
- FPGA Design (Acceleration and Security)
- Electronic Design Automation (Design-for-Security)
- Applied Machine Learning (for Security)
He has numerous publications in top journals and conferences, including IEEE TC, TCAD, TVLSI, Design and Test, IACR CHES, RAID, DAC, DATE, ICCAD, VTS, ASP-DAC, etc. He is the co-author of two books, three book chapters, and three patents, and his research received recognition via awards including nominations/recipients for Best Paper Award in ICCAD’19, ISVLSI’20, ICCAD’20, DCAS 2020, HOST’22, and DATE’23 (two papers). In addition, Dr. Kamali has 4 pending invention disclosure, and has published 2 books and 1 book chapter.
His research as part of the teams has been sponsored by SRC, NSF, DARPA, DoD (NG), Lockheed Martin, and Microsemi.
He is a member of IEEE and ACM.
Email: kamali@ucf.edu
Research Opportunity at HAVEN Research Group
Openings
PhDs and Postdocs
There are fully funded positions for Ph.D. students within our research group. If interested in, please send me your CV (+transcripts) via email to kamali@ucf.edu.
For more details, visit the HAVEN Research Group webpage.
Latest News and Updates
Jan 2025
Our paper, “LLM-GIFT: Large Language Models with Graphs Embedding for Hardware Information Flow Tracking”, has been invited for oral presentation at the 43rd IEEE VLSI Test Symposium 2025 (VTS 2025).
Nov 2024
- I will be serving as chair of a session at IEEE Int’l Conference on Physical Assurance and Inspection of Electronics (PAINE).
- I will be serving as Florida Cluster Initiative (FCI) faculty fellow, focusing on graduate student and postdoc engagement at FCI.
Sep 2024
Our paper, “SimEval: Investigating the Similarity Obstacle in LLM-based Hardware Code Generation”, has been accepted for oral presentation at the 30th Asia and South Pacific Design Automation Conference (ASP-DAC 2025).
Aug 2024
- I will be serving as the Hardware Demo and Poster Chair at HOST 2024.
- I will be serving as TPC member at HOST 2024.
- I will be giving a talk (Webinar) on GenAI for security at Temple University – College of Engineering.
July 2024
- I will be serving as TPC member at DATE 2025.
June 2024
Our book, “Hardware Security: A Look into the Future” has been published by the SpringLink Publication. You can find the online version here:
June 2024
- I will be serving as chair of a session at ACM Great Lakes Symposium on VLSI (GLSVLSI 2024).
- I will be serving as chair of a session at IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2024).
May 2024
- Our paper, “Self-HWDebug: Automation of LLM Self-Instructing for Hardware Security Verification”, has been accepted for oral presentation at the IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2024).
- I will be serving as TPC member at ICCD 2024.
Apr 2024
- Our paper, “Evolutionary Large Language Models for Hardware Security: A Comparative Survey”, has been accepted for oral presentation at the ACM Great Lakes Symposium on VLSI (GLSVLSI 2024).
- Our paper, “From Full-Custom to Gate-Array ASIC for Hardware IP Protection”, has been invited to appear in the 17th IEEE Dallas Circuits and Systems Conference (DCAS 2024).
March 2024
- Our paper, “Advancing Trustworthiness in System-in-Package: A Novel Root-of-Trust Hardware Security Module for Heterogeneous Integration”, has been accepted for publication in the IEEE Access.
- I will be serving as TPC member at GLSVLSI 2024.
- I will be serving as TPC member at ISVLSI 2024.
Feb 2024
Our paper, “GATE-SiP: Enabling Authenticated Encryption Testing in Systems-in-Package”, has been accepted for oral presentation at the 61st ACM/IEEE Design Automation Conference (DAC 2024).
Jan 2024
- Our paper, “Improving Bounded Model Checkers Scalability for Circuit De-obfuscation: An Exploration”, has been accepted for publication in the IEEE Transactions on Information Forensics & Security (IEEE TIFS).
- Our paper, “Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities beneath Software”, has been accepted for publication in the IEEE Transactions on Information Forensics & Security (IEEE TIFS).
More news and updates in HERE!
CV/Resume
Want to check details of the work?
You can find the latest version of Dr. Kamali’s CV here!
Sponsors
Partners
