“Fuzzing for Automated SoC Security Verification: Challenges and Solution” (2024) August 1, 2024 Read More »
“Automatic Asset Identification for Assertion-based SoC Security Verification” (2024) April 11, 2024 Read More »
“Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities beneath Software” (2024) March 4, 2024 Read More »
“AGILE: Automated Assertion Generation to Detect Information Leakage” (2024) August 18, 2023 Read More »
