Frank Piessens
- A Systematic Evaluation of Transient Execution Attacks and Defenses
2018/11/13 by Claudio Canella, Canella, Claudio, Jo Van Bulck +15 · 5 voices · 5 citations
Computer Science · #Advanced Malware Detection Techniques #Physical Unclonable Functions (PUFs) and Hardware Security #Security and Verification in Computing #cs.CR
- Fallout: Reading Kernel Writes From User Space
2019/05/29 by Marina Minkin, Daniel Moghimi, Minkin, Marina +17 · 1 voice
Computer Science · #Advanced Malware Detection Techniques #Distributed systems and fault tolerance #Security and Verification in Computing #cs.AR #cs.CR
- CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction.
2020/02/19 by Daniel Moghimi, Moghimi, Daniel, Jo Van Bulck +7 · 2 citations
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Security and Verification in Computing #Semiconductor materials and devices
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
2023/02/23 by Lesly-Ann Daniel, Daniel, Lesly-Ann, Márton Bognár +9 · 2 citations
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #Cryptography and Security (cs.CR) #Diamond and Carbon-based Materials Research #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Security and Verification in Computing
- Implicit dynamic frames
2012/04/01 by Jan Smans, Bart Jacobs, Frank Piessens · 1 citation