Frank Piessens

ORCID

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 116

Top Venues

CoRR

USENIX Security Symposium

CCS

CSF

Publications

Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. ACM Trans. Priv. Secur. 26 (3) (2023)
Frank Piessens
Transient Execution Attacks. IEEE Secur. Priv. 21 (5) (2023)
Thomas Van Strydonck, Job Noorman, Jennifer Jackson, Leonardo Alves Dias, Robin Vanderstraeten, David F. Oswald, Frank Piessens, Dominique Devriese
CHERI-TrEE: Flexible enclaves on capability machines. EuroS&P (2023)
Scott Constable, Jo Van Bulck, Xiang Cheng, Yuan Xiao, Cedric Xing, Ilya Alexandrovich, Taesoo Kim, Frank Piessens, Mona Vij, Mark Silberstein
AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. USENIX Security Symposium (2023)
Antoon Purnal, Marton Bognar, Frank Piessens, Ingrid Verbauwhede
ShowTime: Amplifying Arbitrary CPU Timing Side Channels. AsiaCCS (2023)
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. USENIX Security Symposium (2023)
Marton Bognar, Hans Winderix, Jo Van Bulck, Frank Piessens
MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling. EuroS&P (2023)
Lesly-Ann Daniel, Marton Bognar, Job Noorman, Sébastien Bardin, Tamara Rezk, Frank Piessens
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). CoRR (2023)
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Christoph Baumann, Frank Piessens, Jan Tobias Mühlberg
End-to-End Security for Distributed Event-Driven Enclave Applications on Heterogeneous TEEs. CoRR (2022)
Marton Bognar, Jo Van Bulck, Frank Piessens
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. IEEE Symposium on Security and Privacy (2022)
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
Proving full-system security properties under multiple attacker models on capability machines. CSF (2022)
Dominique Devriese, Marco Patrignani, Frank Piessens
Two Parametricities Versus Three Universal Types. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. CCS (2021)
Stien Vanderhallen, Jo Van Bulck, Frank Piessens, Jan Tobias Mühlberg
Robust authentication for automotive control networks through covert channels. Comput. Networks 193 (2021)
Hans Winderix, Jan Tobias Mühlberg, Frank Piessens
Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. EuroS&P (2021)
Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
Automated Fuzzing of Automotive Control Units. CoRR (2021)
Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Linear capabilities for fully abstract compilation of separation-logic-verified code. J. Funct. Program. 31 (2021)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Securing Interruptible Enclaved Execution on Small Microprocessors. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Frank Piessens, Jan Tobias Mühlberg
POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. CCS (2021)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF (2021)
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. MFCS (2021)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A categorical approach to secure compilation. CoRR (2020)
Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck, Daniel Gruss, Frank Piessens
Plundervolt: Software-based Fault Injection Attacks against Intel SGX. IEEE Symposium on Security and Privacy (2020)
Daniel Moghimi, Jo Van Bulck, Nadia Heninger, Frank Piessens, Berk Sunar
CopyCat: Controlled Instruction-Level Attacks on Enclaves. USENIX Security Symposium (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. CoRR (2020)
Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yuval Yarom, Berk Sunar, Daniel Gruss, Frank Piessens
LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. IEEE Symposium on Security and Privacy (2020)
Fritz Alder, Jo Van Bulck, David F. Oswald, Frank Piessens
Faulty Point Unit: ABI Poisoning Attacks on Intel SGX. ACSAC (2020)
Frank Piessens
Security across abstraction layers: old and new examples. EuroS&P Workshops (2020)
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. CoRR (2020)
Matteo Busi, Job Noorman, Jo Van Bulck, Letterio Galletta, Pierpaolo Degano, Jan Tobias Mühlberg, Frank Piessens
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. CSF (2020)
Bob Reynders, Frank Piessens, Dominique Devriese
Gavial: Programming the web with multi-tier FRP. CoRR (2020)
Bob Reynders, Frank Piessens, Dominique Devriese
Gavial: Programming the web with multi-tier FRP. Art Sci. Eng. Program. 4 (3) (2020)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR (2020)
Jan Pennekamp, Fritz Alder, Roman Matzutt, Jan Tobias Mühlberg, Frank Piessens, Klaus Wehrle
Secure End-to-End Sensing in Supply Chains. CNS (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A Categorical Approach to Secure Compilation. CMCS (2020)
Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck, Frank Piessens, Daniel Gruss
Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble. IEEE Secur. Priv. 18 (5) (2020)
Daniel Moghimi, Jo Van Bulck, Nadia Heninger, Frank Piessens, Berk Sunar
CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction. CoRR (2020)
Claudio Canella, Daniel Genkin, Lukas Giner, Daniel Gruss, Moritz Lipp, Marina Minkin, Daniel Moghimi, Frank Piessens, Michael Schwarz, Berk Sunar, Jo Van Bulck, Yuval Yarom
Fallout: Leaking Data on Meltdown-resistant CPUs. CCS (2019)
Frank Piessens
Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. TIS@CCS (2019)
Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Linear capabilities for fully abstract compilation of separation-logic-verified code. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, Daniel Gruss
A Systematic Evaluation of Transient Execution Attacks and Defenses. USENIX Security Symposium (2019)
Marina Minkin, Daniel Moghimi, Moritz Lipp, Michael Schwarz, Jo Van Bulck, Daniel Genkin, Daniel Gruss, Frank Piessens, Berk Sunar, Yuval Yarom
Fallout: Reading Kernel Writes From User Space. CoRR (2019)
Kobe Vrancken, Frank Piessens, Raoul Strackx
Securely deploying distributed computation systems on peer-to-peer networks. SAC (2019)
Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens, Jan Tobias Mühlberg
Automated Fuzzing of Automotive Control Units. SIoT (2019)
Stelios Tsampas, Dominique Devriese, Frank Piessens
Temporal Safety for Stack Allocated Memory on Capability Machines. CSF (2019)
Frederik Goovaerts, Gunes Acar, Rafael Galvez, Frank Piessens, Mathy Vanhoef
Improving Privacy Through Fast Passive Wi-Fi Scanning. NordSec (2019)
Neline van Ginkel, Willem De Groef, Fabio Massacci, Frank Piessens
A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries. Secur. Commun. Networks 2019 (2019)
Jo Van Bulck, David F. Oswald, Eduard Marin, Abdulla Aldoseri, Flavio D. Garcia, Frank Piessens
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes. CCS (2019)
Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx
Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow. IEEE Micro 39 (3) (2019)
Minh Ngo, Frank Piessens, Tamara Rezk
Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. IEEE Symposium on Security and Privacy (2018)
Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx
Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. ESSoS (2018)
Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx
Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. USENIX Security Symposium (2018)
Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. Programming (2018)
Mathy Vanhoef, Nehru Bhandaru, Thomas Derham, Ido Ouzieli, Frank Piessens
Operating Channel Validation: Preventing Multi-Channel Man-in-the-Middle Attacks Against Protected Wi-Fi Networks. WISEC (2018)
Mathy Vanhoef, Frank Piessens
Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. WOOT @ USENIX Security Symposium (2018)
Dominique Devriese, Marco Patrignani, Frank Piessens
Parametricity versus the universal type. Proc. ACM Program. Lang. 2 (POPL) (2018)
Jo Van Bulck, Frank Piessens, Raoul Strackx
Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. CCS (2018)
Iulia Bastys, Frank Piessens, Andrei Sabelfeld
Tracking Information Flow via Delayed Output - Addressing Privacy in IoT and Emailing Apps. NordSec (2018)
Iulia Bastys, Frank Piessens, Andrei Sabelfeld
Prudent Design Principles for Information Flow Control. PLAS@CCS (2018)
Mathy Vanhoef, Frank Piessens
Release the Kraken: New KRACKs in the 802.11 Standard. CCS (2018)
Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports 8 (5) (2018)
Claudio Canella, Jo Van Bulck, Michael Schwarz, Moritz Lipp, Benjamin von Berg, Philipp Ortner, Frank Piessens, Dmitry Evtyushkin, Daniel Gruss
A Systematic Evaluation of Transient Execution Attacks and Defenses. CoRR (2018)
Jo Van Bulck, Nico Weichbrodt, Rüdiger Kapitza, Frank Piessens, Raoul Strackx
Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution. USENIX Security Symposium (2017)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. CoRR (2017)
Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
Modular, Fully-abstract Compilation by Approximate Back-translation. Log. Methods Comput. Sci. 13 (4) (2017)
Thomas Vissers, Jan Spooren, Pieter Agten, Dirk Jumpertz, Peter Janssen, Marc Van Wesemael, Frank Piessens, Wouter Joosen, Lieven Desmet
Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLD. RAID (2017)
Jo Van Bulck, Frank Piessens, Raoul Strackx
SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control. SysTEX@SOSP (2017)
Kobe Vrancken, Frank Piessens, Raoul Strackx
Hardening Intel SGX Applications: Balancing Concerns. SysTEX@SOSP (2017)
Job Noorman, Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens, Pieter Maene, Bart Preneel, Ingrid Verbauwhede, Johannes Götzfried, Tilo Müller, Felix C. Freiling
Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. ACM Trans. Priv. Secur. 20 (3) (2017)
Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. TFP (2017)
Mathy Vanhoef, Domien Schepers, Frank Piessens
Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing. AsiaCCS (2017)
Neline van Ginkel, Raoul Strackx, Frank Piessens
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. APLAS (2017)
Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
FRP IoT modules as a Scala DSL. REBLS@SPLASH (2017)
Mathy Vanhoef, Frank Piessens
Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2. CCS (2017)
Job Noorman, Jan Tobias Mühlberg, Frank Piessens
Authentic Execution of Distributed Event-Driven Applications with a Small TCB. STM (2017)
Raoul Strackx, Frank Piessens
The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks. CoRR (2017)
Bob Reynders, Dominique Devriese, Frank Piessens
Experience Report: Functional Reactive Programming and the DOM. Programming (2017)
Jo Van Bulck, Jan Tobias Mühlberg, Frank Piessens
VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. ACSAC (2017)
Daniel Hedin, Alexander Sjösten, Frank Piessens, Andrei Sabelfeld
A Principled Approach to Tracking Information Flow in the Presence of Libraries. POST (2017)
Jesper Cockx, Dominique Devriese, Frank Piessens
Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP (2016)
Marco Patrignani, Dominique Devriese, Frank Piessens
On Modular and Fully-Abstract Compilation - Technical Appendix. CoRR (2016)
Mathy Vanhoef, Célestin Matte, Mathieu Cunche, Leonardo S. Cardoso, Frank Piessens
Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms. AsiaCCS (2016)
Raoul Strackx, Frank Piessens
Ariadne: A Minimal Approach to State Continuity. USENIX Security Symposium (2016)
Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld
Let's Face It: Faceted Values for Taint Tracking. ESORICS (1) (2016)
Helena Brekalo, Raoul Strackx, Frank Piessens
Mitigating Password Database Breaches with Intel SGX. SysTEX@Middleware (2016)
Marco Patrignani, Dominique Devriese, Frank Piessens
On Modular and Fully-Abstract Compilation. CSF (2016)
Dominique Devriese, Lars Birkedal, Frank Piessens
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. EuroS&P (2016)
Mathy Vanhoef, Frank Piessens
All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. USENIX Annual Technical Conference (2016)
Mathy Vanhoef, Frank Piessens
Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys. USENIX Security Symposium (2016)
Tom van Goethem, Mathy Vanhoef, Frank Piessens, Wouter Joosen
Request and Conquer: Exposing Cross-Origin Resource Size. USENIX Security Symposium (2016)
Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx
Security Guarantees for the Execution Infrastructure of Software Applications. SecDev (2016)
Jan Tobias Mühlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens
An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. WISTP (2016)
Jesper Cockx, Dominique Devriese, Frank Piessens
Eliminating dependent pattern matching without K. J. Funct. Program. 26 (2016)
Raoul Strackx, Frank Piessens
Developing Secure SGX Enclaves: New Challenges on the Horizon. SysTEX@Middleware (2016)
Willem De Groef, Deepak Subramanian, Martin Johns, Frank Piessens, Lieven Desmet
Ensuring endpoint authenticity in WebRTC peer-to-peer communication. SAC (2016)
Frank Piessens, Ingrid Verbauwhede
Software security: Vulnerabilities and countermeasures for two attacker models. DATE (2016)
Dominique Devriese, Marco Patrignani, Frank Piessens
Fully-abstract compilation by approximate back-translation. POPL (2016)
Jo Van Bulck, Job Noorman, Jan Tobias Mühlberg, Frank Piessens
Towards availability and real-time guarantees for protected module architectures. MODULARITY (Companion) (2016)
Jan Tobias Mühlberg, David H. White, Mike Dodds, Gerald Lüttgen, Frank Piessens
Learning Assertions to Verify Linked-List Programs. SEFM (2015)
Jan Tobias Mühlberg, Job Noorman, Frank Piessens
Lightweight and Flexible Trust Assessment Modules for the Internet of Things. ESORICS (1) (2015)

Frank Piessens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frank Piessens