A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. - Johannes Müller 006; Mohammad Rahmani Fadiheh; Anna Lena Duque Antón; Thomas Eisenbarth 001; Dominik Stoffel; Wolfgang Kunz (DAC, 2021)

Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees. - Dino Mehmedagic; Mohammad Rahmani Fadiheh; Johannes Müller 006; Anna Lena Duque Antón; Dominik Stoffel; Wolfgang Kunz (USENIX Security Symposium, 2023)

Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation. - Anna Lena Duque Antón; Johannes Müller 006; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (IEEE Access, 2023)

A New Security Threat in MCUs - SoC-wide timing side channels and how to find them. - Johannes Müller 006; Anna Lena Duque Antón; Lucas Deutschmann; Dino Mehmedagic; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (CoRR, 2023)

MCU-Wide Timing Side Channels and Their Detection. - Johannes Müller 006; Anna Lena Duque Antón; Lucas Deutschmann; Dino Mehmedagic; Cristiano Rodrigues; Daniel Oliveira 003; Mohammad Rahmani Fadiheh; Keerthikumara Devarajegowda; Sandro Pinto 001; Dominik Stoffel; Wolfgang Kunz (DAC, 2024)

A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. - Anna Lena Duque Antón; Johannes Müller 006; Lucas Deutschmann; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (DATE, 2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. - Anna Lena Duque Antón; Johannes Müller 006; Philipp Schmitz; Tobias Jauch; Alex Wezel; Lucas Deutschmann; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2024)

Data-Oblivious and Performant: On Designing Security-Conscious Hardware. - Lucas Deutschmann; Yazan Kazhalawi; Jonathan Seckinger; Anna Lena Duque Antón; Johannes Müller 006; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (LATS, 2024)

Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. - Mohamed Shelkamy Ali; Lucas Deutschmann; Johannes Müller 006; Anna Lena Duque Antón; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (ETS, 2025)