Concepedia

Mohammad Rahmani Fadiheh

MR

Statistics

Publications

8

Citations

142

H-Index

8

Active since

2018

Affiliations

University of Kaiserslautern(Current)

Stanford University

Infineon Technologies (Germany)

Intel (United States)

Mohammad Rahmani Fadiheh is an author at University of Kaiserslautern specializing in computer science, formal methods, and computer engineering.

Publications per year

2018–2023

8

Publications

8

A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors

Mohammad Rahmani Fadiheh, Muller Johannes, Raik Brinkmann et al. · 2020 · 38 citations

Computing, Computer Engineering, Computer Science +13

An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors

Mohammad Rahmani Fadiheh, Alex Wezel, Johannes Müller et al. · IEEE Transactions on Computers · 2022 · 29 citations · Full text

Computing, Computer Engineering, Computer Science +15

Symbolic quick error detection using symbolic initial state for pre-silicon verification

Mohammad Rahmani Fadiheh, Joakim Urdahl, Srinivasa Shashank Nuthakki et al. · 2018 · 20 citations

Engineering, Computer Engineering, Computer Science +13

Gap-free Processor Verification by S<sup>2</sup>QED and Property Generation

Keerthikumara Devarajegowda, Mohammad Rahmani Fadiheh, Eshan Singh et al. · 2020 · 12 citations

Computing, Computer Engineering, Computer Science +8

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study

Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon et al. · 2019 · 11 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 8