Stoffel, Dominik

1. Processor Hardware Security Vulnerabilities and their Detection by\n Unique Program Execution Checking
   2018/12/05 by Mohammad Rahmani Fadiheh, Dominik Stoffel, Fadiheh, Mohammad Rahmani +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
2. 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)
3. A Golden-Free Formal Method for Trojan Detection in Non-Interfering Accelerators
   2023/12/11 by Anna Lena Duque Antón, Johannes Müller, Antón, Anna Lena Duque +9 · 1 citation
   Computer Science · #Physical Unclonable Functions (PUFs) and Hardware Security #Cryptographic Implementations and Security #VLSI and Analog Circuit Testing