“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 »
“On Backside Probing Techniques and their Emerging Security Threats” (2022) June 23, 2022 Read More »
“Power Side-Channel Leakage Assessment Framework at Register-Transfer Level” (2022) May 24, 2022 Read More »
“PSC-TG: RTL Power Side-Channel Leakage Assessment with Test Pattern Generation” (2021) December 5, 2021 Read More »
“The Key is Left under the Mat: On the Inappropriate Security Assumption of Logic Locking Schemes” (2020) September 23, 2020 Read More »
