Mohammad Rahmani Fadiheh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISCA | Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees. | Samantha Archer, Mohammad Rahmani Fadiheh, Caroline Trippel |
| 2025 | AsiaCCS | Okapi: Efficiently Safeguarding Speculative Data Accesses in Sandboxed Environments. | Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz |
| 2025 | ETS | Security Risks in AI Accelerators: Detecting RTL Vulnerabilities to Model Theft with Formal Verification. | Mohamed Shelkamy Ali, Lucas Deutschmann, Johannes Mller, Anna Lena Duque Antn, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | DAC | MCU-Wide Timing Side Channels and Their Detection. | Johannes Mller, Anna Lena Duque Antn, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz |
| 2024 | DATE | A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. | Anna Lena Duque Antn, Johannes Mller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2024 | ICCAD | VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. | Anna Lena Duque Antn, Johannes Mller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2023 | ICCAD | 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 |
| 2022 | DAC | Towards a formally verified hardware root-of-trust for data-oblivious computing. | Lucas Deutschmann, Johannes Mller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz |
| 2021 | DAC | A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. | Johannes Mller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antn, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz |
| 2020 | DAC | A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. | Mohammad Rahmani Fadiheh, Johannes Mller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz |
| 2020 | DATE | Gap-free Processor Verification by S | Keerthikumara Devarajegowda, Mohammad Rahmani Fadiheh, Eshan Singh, Clark W. Barrett, Subhasish Mitra, Wolfgang Ecker, Dominik Stoffel, Wolfgang Kunz |
| 2019 | DATE | Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. | Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra, Wolfgang Kunz |
| 2019 | DATE | Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. | Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra |
| 2018 | DATE | 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 |