Symbolic quick error detection using symbolic initial state for pre-silicon verification. - Mohammad Rahmani Fadiheh; Joakim Urdahl; Srinivasa Shashank Nuthakki; Subhasish Mitra; Clark W. Barrett; Dominik Stoffel; Wolfgang Kunz (DATE, 2018)

Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. - Mohammad Rahmani Fadiheh; Dominik Stoffel; Clark W. Barrett; Subhasish Mitra; Wolfgang Kunz (DATE, 2019)

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. - Eshan Singh; Keerthikumara Devarajegowda; Sebastian Simon; Ralf Schnieder; Karthik Ganesan 001; Mohammad Rahmani Fadiheh; Dominik Stoffel; Wolfgang Kunz; Clark W. Barrett; Wolfgang Ecker; Subhasish Mitra (DATE, 2019)

A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. - Mohammad Rahmani Fadiheh; Johannes Müller 006; Raik Brinkmann; Subhasish Mitra; Dominik Stoffel; Wolfgang Kunz (DAC, 2020)

Gap-free Processor Verification by S2QED and Property Generation. - Keerthikumara Devarajegowda; Mohammad Rahmani Fadiheh; Eshan Singh; Clark W. Barrett; Subhasish Mitra; Wolfgang Ecker; Dominik Stoffel; Wolfgang Kunz (DATE, 2020)

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)

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. - Karthik Ganesan 001; Florian Lonsing; Srinivasa Shashank Nuthakki; Eshan Singh; Mohammad Rahmani Fadiheh; Wolfgang Kunz; Dominik Stoffel; Clark W. Barrett; Subhasish Mitra (CoRR, 2021)

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)

Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware. - Mohammad Rahmani Fadiheh (2022)

Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. - Tobias Jauch; Alex Wezel; Mohammad Rahmani Fadiheh; Philipp Schmitz; Sayak Ray; Jason M. Fung; Christopher W. Fletcher; Dominik Stoffel; Wolfgang Kunz (ICCAD, 2023)

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)

Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses. - Philipp Schmitz; Tobias Jauch; Alex Wezel; Mohammad Rahmani Fadiheh; Thore Tiemann; Jonah Heller; Thomas Eisenbarth 001; Dominik Stoffel; Wolfgang Kunz (CoRR, 2023)

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. - Mohammad Rahmani Fadiheh; Alex Wezel; Johannes Müller 006; Jörg Bormann; Sayak Ray; Jason M. Fung; Subhasish Mitra; Dominik Stoffel; Wolfgang Kunz (IEEE Trans. Computers, 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)

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)