Frank Piessens
KU Leuven(BE)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Logic, programming, and type systems, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- Foreshadow: extracting the keys to the intel SGX kingdom with transient out-of-order execution(2018)
- → Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting(2013)420 cited
- → Key Reinstallation Attacks(2017)352 cited
- → VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java(2011)347 cited
- → Plundervolt: Software-based Fault Injection Attacks against Intel SGX(2020)294 cited
- → You are what you include(2012)275 cited
- → FPDetective(2013)250 cited
- → Noninterference through Secure Multi-execution(2010)242 cited
- → Why MAC Address Randomization is not Enough(2016)199 cited
- → Fallout(2019)198 cited