Explainable AI for Cybersecurity

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

System-on-Chip Security: Validation and Verification

System-Level Validation: High-Level Modeling and Directed Test Generation Techniques