default search action

combined dblp search
author search
venue search
publication search

ask others

Mohammad Rahmani Fadiheh

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/DeutschmannMFSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/DeutschmannMFSK24
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
A Scalable Formal Verification Methodology for Data-Oblivious Hardware. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(9): 2551-2564 (2024)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/0006ADMR0FD0SK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/0006ADMR0FD0SK24
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Cristiano Rodrigues, Daniel Oliveira, Mohammad Rahmani Fadiheh, Keerthikumara Devarajegowda, Sandro Pinto, Dominik Stoffel, Wolfgang Kunz:
MCU-Wide Timing Side Channels and Their Detection. DAC 2024: 292:1-292:6
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/date/AntonMDFSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/AntonMDFSK24
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. DATE 2024: 1-6
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/latw/DeutschmannKSAMFSK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latw/DeutschmannKSAMFSK24
Lucas Deutschmann, Yazan Kazhalawi, Jonathan Seckinger, Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
Data-Oblivious and Performant: On Designing Security-Conscious Hardware. LATS 2024: 1-6
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-18679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-18679
Anna Lena Duque Antón, Johannes Müller, Philipp Schmitz, Tobias Jauch, Alex Wezel, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL. CoRR abs/2407.18679 (2024)
2023
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AntonMFSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AntonMFSK23
Anna Lena Duque Antón, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
Fault Attacks on Access Control in Processors: Threat, Formal Analysis and Microarchitectural Mitigation. IEEE Access 11: 52695-52711 (2023)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/FadihehWMBRFMSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/FadihehWMBRFMSK23
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz:
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. IEEE Trans. Computers 72(1): 222-235 (2023)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/JauchWFSRFFSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/JauchWFSRFFSK23
Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Philipp Schmitz, Sayak Ray, Jason M. Fung, Christopher W. Fletcher, Dominik Stoffel, Wolfgang Kunz:
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. ICCAD 2023: 1-9
[c8]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/MehmedagicFMASK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/MehmedagicFMASK23
Dino Mehmedagic, Mohammad Rahmani Fadiheh, Johannes Müller, Anna Lena Duque Antón, Dominik Stoffel, Wolfgang Kunz:
Design of Access Control Mechanisms in Systems-on-Chip with Formal Integrity Guarantees. USENIX Security Symposium 2023: 2779-2796
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-07757
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-07757
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
A Scalable Formal Verification Methodology for Data-Oblivious Hardware. CoRR abs/2308.07757 (2023)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12925
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12925
Johannes Müller, Anna Lena Duque Antón, Lucas Deutschmann, Dino Mehmedagic, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
A New Security Threat in MCUs - SoC-wide timing side channels and how to find them. CoRR abs/2309.12925 (2023)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-06515
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-06515
Anna Lena Duque Antón, Johannes Müller, Lucas Deutschmann, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators. CoRR abs/2312.06515 (2023)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-08156
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-08156
Philipp Schmitz, Tobias Jauch, Alex Wezel, Mohammad Rahmani Fadiheh, Thore Tiemann, Jonah Heller, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz:
Okapi: A Lightweight Architecture for Secure Speculation Exploiting Locality of Memory Accesses. CoRR abs/2312.08156 (2023)
2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Fadiheh22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Fadiheh22
Mohammad Rahmani Fadiheh:
Unique Program Execution Checking: A Novel Approach for Formal Security Analysis of Hardware. Kaiserslautern University of Technology, Germany, 2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/DeutschmannMFSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/DeutschmannMFSK22
Lucas Deutschmann, Johannes Müller, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz:
Towards a formally verified hardware root-of-trust for data-oblivious computing. DAC 2022: 727-732
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MullerFA0SK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MullerFA0SK21
Johannes Müller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antón, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz:
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. DAC 2021: 991-996
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10392
Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra:
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection. CoRR abs/2106.10392 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-01979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-01979
Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller, Jörg Bormann, Sayak Ray, Jason M. Fung, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz:
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors. CoRR abs/2108.01979 (2021)
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/FadihehMBMSK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/FadihehMBMSK20
Mohammad Rahmani Fadiheh, Johannes Müller, Raik Brinkmann, Subhasish Mitra, Dominik Stoffel, Wolfgang Kunz:
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors. DAC 2020: 1-6
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DevarajegowdaFS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DevarajegowdaFS20
Keerthikumara Devarajegowda, Mohammad Rahmani Fadiheh, Eshan Singh, Clark W. Barrett, Subhasish Mitra, Wolfgang Ecker, Dominik Stoffel, Wolfgang Kunz:
Gap-free Processor Verification by S²QED and Property Generation. DATE 2020: 526-531

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/date/FadihehSBMK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/FadihehSBMK19
Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra, Wolfgang Kunz:
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. DATE 2019: 994-999
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/date/SinghDSSGFSKBEM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SinghDSSGFSKBEM19
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra:
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. DATE 2019: 1000-1005
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-01494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01494
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra:
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. CoRR abs/1902.01494 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/date/FadihehUNMBSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/FadihehUNMBSK18
Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivasa Shashank Nuthakki, Subhasish Mitra, Clark W. Barrett, Dominik Stoffel, Wolfgang Kunz:
Symbolic quick error detection using symbolic initial state for pre-silicon verification. DATE 2018: 55-60
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-04975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-04975
Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra, Wolfgang Kunz:
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. CoRR abs/1812.04975 (2018)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.