Kunz, Wolfgang
- Processor Hardware Security Vulnerabilities and their Detection by\n Unique Program Execution Checking
2018/12/05 by Mohammad Rahmani Fadiheh, Fadiheh, Mohammad Rahmani, Dominik Stoffel +8 · 1 voice · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #cs.CR
- Efficient Binary-Level Coverage Analysis
2020/04/29 by Khadra, M. Ammar Ben, Stoffel, Dominik, Kunz, Wolfgang · 2 citations
#D.2.5 #FOS: Computer and information sciences #Software Engineering (cs.SE)
- A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
2023/12/11 by Anna Lena Duque Antón, Antón, Anna Lena Duque, Johannes Müller +9 · 1 citation
Computer Science · #Physical Unclonable Functions (PUFs) and Hardware Security #Cryptographic Implementations and Security #VLSI and Analog Circuit Testing
- Efficient Stimuli Generation using Reinforcement Learning in Design Verification
2024/05/30 by Deepak Narayan Gadde, Thomas Nalapat, Gadde, Deepak Narayan +9 · 1 citation
Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Manufacturing Process and Optimization