DAC 2026
ATLAS accepted at DAC 2026 for AI-assisted threat modeling and formal security verification for SoCs. Also selected as a DAC Young Fellow.
Ph.D. Student • UCF ECE
Ishraq Tashdid
Hardware security, formal verification, and LLM-assisted threat modeling across hardware–firmware–software boundaries.
SoC Security
Formal Verification
Threat Modeling (CWE/CVE/CAPEC)
LLM-assisted Security Reasoning
Chiplet / SiP Authentication
About
I am a Ph.D. student in Computer Engineering at the University of Central Florida, advised by Dr. Sazadur Rahman. I am a UCF Trustees Doctoral Fellow and a Future Faculty Laureate (FFL) awardee.
My work focuses on building practical, automation-driven security verification flows for modern SoCs, with an emphasis on LLM-guided threat modeling, assertion generation, and formal proof. I also work on chiplet/System-in-Package authentication and secure hardware design.
Before my Ph.D., I worked for an Irvine start-up as a Hardware Verification Engineer on RISC-V processor design and verification.
Current Focus
- AI-driven hardware threat modeling and formal security verification
- Automated assertion generation and security property validation
- Chiplet and heterogeneous integration security protocols
- Formal verification automation and EDA toolchain integration
Highlights
HOST 2026
InterPUF accepted at HOST 2026 for distributed chiplet/interposer authentication using PUFs and MPC.
MLCAD 2025 Best Paper Nominee
BeyondPPA — reliability-aware macro placement using human-inspired reinforcement learning.
News
Latest updates on papers, talks, awards, and milestones.