2 papers
cs.CR2026
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
Ishraq Tashdid, Kimia Tasnia, Alexander Garcia +2
This work presents ATLAS, an LLM-driven framework that bridges standardized threat modeling and property-based formal verification for System-on-Chip (SoC) security. Starting from…
cs.CR2025
SAFE-SiP: Secure Authentication Framework for System-in-Package Using Multi-party Computation
Ishraq Tashdid, Tasnuva Farheen, Sazadur Rahman
The emergence of chiplet-based heterogeneous integration is transforming the semiconductor, AI, and high-performance computing industries by enabling modular designs and improved s…