Devriese, Dominique
- Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
2023/06/08 by Sander Huyghebaert, Huyghebaert, Sander, Steven Keuchel +5 · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Physical Unclonable Functions (PUFs) and Hardware Security #Programming Languages (cs.PL) #Security and Verification in Computing #cs.CR #cs.PL