Towards a formally verified hardware root-of-trust for data-oblivious computing. - Lucas Deutschmann; Johannes Müller 006; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (DAC, 2022)

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)

eXpect: On the Security Implications of Violations in AXI Implementations. - Melisande Zonta-Roudes; Andres Meza 001; Nora Hinderling; Lucas Deutschmann; Francesco Restuccia 002; Ryan Kastner; Shweta Shinde (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)

A Scalable Formal Verification Methodology for Data-Oblivious Hardware. - Lucas Deutschmann; Johannes Müller 006; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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)