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.
Wolfgang Kunz
A grouping.
Wolfgang Kunz, Kaiserslautern: senior author of the UPEC line - formal, exhaustive detection of processor side channels and transient-execution leaks, 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)