This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Mohammad Rahmani Fadiheh
A grouping.
Mohammad Rahmani Fadiheh, Kaiserslautern: first author of UPEC (2018) and its exhaustive transient-execution extension (2022); co-author on core verification and golden-free Trojan detection.
4 references
A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
Anna Lena Duque Antón and others (2024) · Design, Automation and Test in Europe Conference (DATE '24)
An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors
Mohammad Rahmani Fadiheh and others (2022) · IEEE Transactions on Computers
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
Karthik Ganesan and others (2021)
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh and others (2018)