Mohammad Rahmani Fadiheh

  1. Home
  2. search page
  3. author

Mohammad Rahmani Fadiheh

소속 기관: TU Kaiserslautern Germany
국가: Germany
주요 연구 분야: Verification
주요 키워드: #vulnerabilities #security #hardware

📄 저자 정보

출판수 2
총 인용수 29
평균 인용수 14.50
좋아요 수 0
연도별 출판 논문
파트별 논문
저자 키워드
공동 저자 관계도

논문 목록 (2건)

A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level
저자: Wolfgang Kunz , Dominik Stoffel , Thomas R Eisenbarth , Anna Lena Antón , Mohammad Rahmani Fadiheh , Johannes Müller
키워드: #vulnerabilities #security #hardware #hard #firmware
파트: Verification | 연도: 2022
A Formal Approach for Detecting Vulnerabilities to Transient Execution Attacks in Out-of-Order Processors
저자: Wolfgang Kunz , Dominik Stoffel , Mohammad Rahmani Fadiheh , Johannes Müller , Raik Brinkmann , Subhasish Mitra
키워드: #attack #countermeasures #alarm #processors #meltdown
파트: Verification | 연도: 2020