System-on-Chip Security: Validation and Verification

Explainable AI for Cybersecurity

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

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