F. Piessens

Most-cited papers

Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution
Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin +6 more
2018USENIX Security Symposium1,240 citations
Semantic Scholar
A Systematic Evaluation of Transient Execution Attacks and Defenses
Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp +5 more
2018USENIX Security Symposium469 citations
Semantic Scholar
Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2
M. Vanhoef, F. Piessens
2017Conference on Computer and Communications Security462 citations Open access
Semantic Scholar
Plundervolt: Software-based Fault Injection Attacks against Intel SGX
Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck +2 more
2020IEEE Symposium on Security and Privacy389 citations Open access
Semantic Scholar
Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution
Jo Van Bulck, Nico Weichbrodt, R. Kapitza, F. Piessens +1 more
2017USENIX Security Symposium334 citations
Semantic Scholar
Fallout: Leaking Data on Meltdown-resistant CPUs
Claudio Canella, Daniel Genkin, Lukas Giner, Daniel Gruss +8 more
2019Conference on Computer and Communications Security311 citations Open access
Semantic Scholar
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection
Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lippi +6 more
2020IEEE Symposium on Security and Privacy296 citations Open access
Semantic Scholar
SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control
Jo Van Bulck, F. Piessens, Raoul Strackx
2017SysTEX@SOSP269 citations Open access
Semantic Scholar
Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms
M. Vanhoef, Célestin Matte, Mathieu Cunche, L. Cardoso +1 more
2016ACM Asia Conference on Computer and Communications Security252 citations Open access
Semantic Scholar
Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution
Ofir Weisse, Jo Van Bulck, Marina Minkin, Daniel Genkin +6 more
2018199 citations
Semantic Scholar
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
Jo Van Bulck, David F. Oswald, Eduard Marin, Abdulla Aldoseri +2 more
2019Conference on Computer and Communications Security165 citations Open access
Semantic Scholar
Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic
Jo Van Bulck, F. Piessens, Raoul Strackx
2018Conference on Computer and Communications Security148 citations Open access
Semantic Scholar
CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction
Daniel Moghimi, Jo Van Bulck, N. Heninger, F. Piessens +1 more
2020USENIX Security Symposium77 citations
Semantic Scholar
VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks
Jo Van Bulck, J. Mühlberg, F. Piessens
2017Asia-Pacific Computer Systems Architecture Conference73 citations Open access
Semantic Scholar
Fallout: Reading Kernel Writes From User Space
Marina Minkin, Daniel Moghimi, Moritz Lipp, Michael Schwarz +6 more
2019arXiv.org69 citations
Semantic Scholar
Release the Kraken: New KRACKs in the 802.11 Standard
M. Vanhoef, F. Piessens
2018Conference on Computer and Communications Security69 citations Open access
Semantic Scholar
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves
Scott D. Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao +6 more
2023USENIX Security Symposium55 citations
Semantic Scholar
Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys
M. Vanhoef, F. Piessens
2016USENIX Security Symposium50 citations
Semantic Scholar
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity
Dominique Devriese, L. Birkedal, F. Piessens
2016European Symposium on Security and Privacy49 citations Open access
Semantic Scholar
Operating Channel Validation: Preventing Multi-Channel Man-in-the-Middle Attacks Against Protected Wi-Fi Networks
M. Vanhoef, Nehru Bhandaru, T. Derham, I. Ouzieli +1 more
2018Wireless Network Security37 citations Open access
Semantic Scholar
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution
Jago Gyselinck, Jo Van Bulck, F. Piessens, Raoul Strackx
2018Engineering Secure Software and Systems37 citations Open access
Semantic Scholar
On Modular and Fully-Abstract Compilation
Marco Patrignani, Dominique Devriese, F. Piessens
2016IEEE Computer Security Foundations Symposium36 citations Open access
Semantic Scholar
Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLD
T. Vissers, Jan Spooren, Pieter Agten, Dirk Jumpertz +5 more
2017International Symposium on Recent Advances in Intrusion Detection33 citations Open access
Semantic Scholar
Unifiers as equivalences: proof-relevant unification of dependently typed data
Jesper Cockx, Dominique Devriese, F. Piessens
2016ACM SIGPLAN International Conference on Functional Programming33 citations Open access
Semantic Scholar
The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks
Raoul Strackx, F. Piessens
2017arXiv.org32 citations
Semantic Scholar
Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves
F. Alder, Jo Van Bulck, F. Piessens, J. Mühlberg
2021Conference on Computer and Communications Security31 citations
Semantic Scholar
Modular, Fully-abstract Compilation by Approximate Back-translation
Dominique Devriese, Marco Patrignani, F. Piessens, Steven Keuchel
2017Log. Methods Comput. Sci.31 citations Open access
Semantic Scholar
Linear capabilities for fully abstract compilation of separation-logic-verified code
Thomas Van Strydonck, F. Piessens, Dominique Devriese
2019Journal of functional programming29 citations Open access
Semantic Scholar
Eliminating dependent pattern matching without K
Jesper Cockx, Dominique Devriese, F. Piessens
2016Journal of functional programming27 citations Open access
Semantic Scholar
ShowTime: Amplifying Arbitrary CPU Timing Side Channels
Antoon Purnal, Márton Bognár, F. Piessens, I. Verbauwhede
2023ACM Asia Conference on Computer and Communications Security26 citations Open access
Semantic Scholar
Parametricity versus the universal type
Dominique Devriese, Marco Patrignani, F. Piessens
2017Proc. ACM Program. Lang.24 citations Open access
Semantic Scholar
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
Márton Bognár, Jo Van Bulck, F. Piessens
2022IEEE Symposium on Security and Privacy23 citations Open access
Semantic Scholar
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta +3 more
2020IEEE Computer Security Foundations Symposium23 citations Open access
Semantic Scholar
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)
Lesly-Ann Daniel, Márton Bognár, Job Noorman, Sébastien Bardin +2 more
2023USENIX Security Symposium22 citations Open access
Semantic Scholar
Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble
Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck +2 more
2020IEEE Security and Privacy21 citations Open access
Semantic Scholar
Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing
M. Vanhoef, Domien Schepers, F. Piessens
2017ACM Asia Conference on Computer and Communications Security21 citations Open access
Semantic Scholar
Towards Automatic Compartmentalization of C Programs on Capability Machines
Stelios Tsampas, Akram El-Korashy, Marco Patrignani, Dominique Devriese +2 more
201721 citations
Semantic Scholar
Secure End-to-End Sensing in Supply Chains
J. Pennekamp, F. Alder, Roman Matzutt, J. Mühlberg +2 more
2020IEEE Conference on Communications and Network Security20 citations
Semantic Scholar
CHERI-TrEE: Flexible enclaves on capability machines
Thomas Van Strydonck, Job Noorman, Jennifer Jackson, Leonardo Alves Dias +4 more
2023European Symposium on Security and Privacy19 citations Open access
Semantic Scholar
Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow
Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin +6 more
2019IEEE Micro19 citations
Semantic Scholar
Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
M. Vanhoef, F. Piessens
2018WOOT @ USENIX Security Symposium19 citations
Semantic Scholar
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese +2 more
2020IEEE Computer Security Foundations Symposium18 citations Open access
Semantic Scholar
Mitigating Password Database Breaches with Intel SGX
Helena Brekalo, Raoul Strackx, F. Piessens
2016SysTEX@Middleware18 citations Open access
Semantic Scholar
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks
Hans Winderix, J. Mühlberg, F. Piessens
2021European Symposium on Security and Privacy17 citations Open access
Semantic Scholar
Faulty Point Unit: ABI Poisoning Attacks on Intel SGX
F. Alder, Jo Van Bulck, David F. Oswald, F. Piessens
2020Asia-Pacific Computer Systems Architecture Conference17 citations Open access
Semantic Scholar
Denial of Service Attacks Against the 4-Way Wi-Fi Handshake
M. Vanhoef, F. Piessens
201716 citations Open access
Semantic Scholar
Software security: Vulnerabilities and countermeasures for two attacker models
F. Piessens, I. Verbauwhede
2016Design, Automation and Test in Europe16 citations Open access
Semantic Scholar
Authentic Execution of Distributed Event-Driven Applications with a Small TCB
Job Noorman, J. Mühlberg, F. Piessens
2017International Workshop on Security and Trust Management15 citations Open access
Semantic Scholar
A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries
Neline van Ginkel, Willem De Groef, F. Massacci, F. Piessens
2019Secur. Commun. Networks14 citations Open access
Semantic Scholar
Temporal Safety for Stack Allocated Memory on Capability Machines
Stelios Tsampas, Dominique Devriese, F. Piessens
2019IEEE Computer Security Foundations Symposium14 citations Open access
Semantic Scholar