| 2026 | SP | CyCoAnalysis: A Dataset of Cybersecurity Conference Metadata for Meta-Science and Policy Decisions. | Marton Bognar, Lieven Desmet, Frank Piessens |
| 2024 | CCS | Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors. | Hans Winderix, Marton Bognar, Lesly-Ann Daniel, Frank Piessens |
| 2024 | SP | Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. | Fritz Alder, Lesly-Ann Daniel, David F. Oswald, Frank Piessens, Jo Van Bulck |
| 2024 | SP | Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs. | Hans Winderix, Marton Bognar, Job Noorman, Lesly-Ann Daniel, Frank Piessens |
| 2023 | AsiaCCS | ShowTime: Amplifying Arbitrary CPU Timing Side Channels. | Antoon Purnal, Marton Bognar, Frank Piessens, Ingrid Verbauwhede |
| 2022 | SP | Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. | Marton Bognar, Jo Van Bulck, Frank Piessens |
| 2021 | CCS | Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. | Fritz Alder, Jo Van Bulck, Frank Piessens, Jan Tobias Mhlberg |
| 2021 | CCS | POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. | Gianluca Scopelliti, Sepideh Pouyanrad, Job Noorman, Fritz Alder, Frank Piessens, Jan Tobias Mhlberg |
| 2021 | MFCS | Abstract Congruence Criteria for Weak Bisimilarity. | Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens |
| 2020 | ACSAC | Faulty Point Unit: ABI Poisoning Attacks on Intel SGX. | Fritz Alder, Jo Van Bulck, David F. Oswald, Frank Piessens |
| 2020 | SP | LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. | Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yuval Yarom, Berk Sunar, Daniel Gruss, Frank Piessens |
| 2020 | SP | Plundervolt: Software-based Fault Injection Attacks against Intel SGX. | Kit Murdock, David F. Oswald, Flavio D. Garcia, Jo Van Bulck, Daniel Gruss, Frank Piessens |
| 2019 | CCS | A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes. | Jo Van Bulck, David F. Oswald, Eduard Marin, Abdulla Aldoseri, Flavio D. Garcia, Frank Piessens |
| 2019 | CCS | Fallout: Leaking Data on Meltdown-resistant CPUs. | 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 |
| 2019 | CCS | Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. | Frank Piessens |
| 2019 | SAC | Securely deploying distributed computation systems on peer-to-peer networks. | Kobe Vrancken, Frank Piessens, Raoul Strackx |
| 2018 | CCS | Prudent Design Principles for Information Flow Control. | Iulia Bastys, Frank Piessens, Andrei Sabelfeld |
| 2018 | CCS | Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. | Jo Van Bulck, Frank Piessens, Raoul Strackx |
| 2018 | CCS | Release the Kraken: New KRACKs in the 802.11 Standard. | Mathy Vanhoef, Frank Piessens |
| 2018 | SP | Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. | Minh Ngo, Frank Piessens, Tamara Rezk |
| 2017 | ACSAC | VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. | Jo Van Bulck, Jan Tobias Mhlberg, Frank Piessens |
| 2017 | APLAS | Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. | Neline van Ginkel, Raoul Strackx, Frank Piessens |
| 2017 | CCS | Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2. | Mathy Vanhoef, Frank Piessens |
| 2017 | CCS | Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing. | Mathy Vanhoef, Domien Schepers, Frank Piessens |
| 2017 | OOPSLA | FRP IoT modules as a Scala DSL. | Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens |
| 2017 | RAID | Exploring the Ecosystem of Malicious Domain Registrations in the .eu TLD. | Thomas Vissers, Jan Spooren, Pieter Agten, Dirk Jumpertz, Peter Janssen, Marc Van Wesemael, Frank Piessens, Wouter Joosen, Lieven Desmet |
| 2017 | SOSP | SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control. | Jo Van Bulck, Frank Piessens, Raoul Strackx |
| 2017 | SOSP | Hardening Intel SGX Applications: Balancing Concerns. | Kobe Vrancken, Frank Piessens, Raoul Strackx |
| 2016 | CCS | Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms. | Mathy Vanhoef, Clestin Matte, Mathieu Cunche, Leonardo S. Cardoso, Frank Piessens |
| 2016 | DATE | Software security: Vulnerabilities and countermeasures for two attacker models. | Frank Piessens, Ingrid Verbauwhede |
| 2016 | ESORICS | Let's Face It: Faceted Values for Taint Tracking. | Daniel Schoepe, Musard Balliu, Frank Piessens, Andrei Sabelfeld |
| 2016 | ICFP | Unifiers as equivalences: proof-relevant unification of dependently typed data. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2016 | Middleware | Mitigating Password Database Breaches with Intel SGX. | Helena Brekalo, Raoul Strackx, Frank Piessens |
| 2016 | Middleware | Developing Secure SGX Enclaves: New Challenges on the Horizon. | Raoul Strackx, Frank Piessens |
| 2016 | POPL | Fully-abstract compilation by approximate back-translation. | Dominique Devriese, Marco Patrignani, Frank Piessens |
| 2016 | SAC | Ensuring endpoint authenticity in WebRTC peer-to-peer communication. | Willem De Groef, Deepak Subramanian, Martin Johns, Frank Piessens, Lieven Desmet |
| 2016 | USENIX | All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. | Mathy Vanhoef, Frank Piessens |
| 2016 | WISTP | An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. | Jan Tobias Mhlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens |
| 2015 | ESOP | Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. | Willem Penninckx, Bart Jacobs, Frank Piessens |
| 2015 | ESORICS | Lightweight and Flexible Trust Assessment Modules for the Internet of Things. | Jan Tobias Mhlberg, Job Noorman, Frank Piessens |
| 2015 | GPCE | Generating safe boundary APIs between typed EDSLs and their environments. | Bob Reynders, Dominique Devriese, Frank Piessens |
| 2015 | NDSS | Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting Abuse. | Pieter Agten, Wouter Joosen, Frank Piessens, Nick Nikiforakis |
| 2015 | POPL | Sound Modular Verification of C Code Executing in an Unverified Context. | Pieter Agten, Bart Jacobs, Frank Piessens |
| 2015 | POPL | Runtime Enforcement of Security Policies on Black Box Reactive Programs. | Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens |
| 2015 | SAC | SecSess: keeping your session tucked away in your browser. | Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2015 | SEFM | Learning Assertions to Verify Linked-List Programs. | Jan Tobias Mhlberg, David H. White, Mike Dodds, Gerald Lttgen, Frank Piessens |
| 2015 | WISTP | Secure Resource Sharing for Embedded Protected Module Architectures. | Jo Van Bulck, Job Noorman, Jan Tobias Mhlberg, Frank Piessens |
| 2014 | ACSAC | NodeSentry: least-privilege library integration for server-side JavaScript. | Willem De Groef, Fabio Massacci, Frank Piessens |
| 2014 | ACSAC | ICE: a passive, high-speed, state-continuity scheme. | Raoul Strackx, Bart Jacobs, Frank Piessens |
| 2014 | ACSAC | Advanced Wi-Fi attacks using commodity hardware. | Mathy Vanhoef, Frank Piessens |
| 2014 | CCS | Monkey-in-the-browser: malware and vulnerabilities in augmented browsing script markets. | Steven Van Acker, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2014 | CCS | Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals. | Tom van Goethem, Frank Piessens, Wouter Joosen, Nick Nikiforakis |
| 2014 | ESOP | Overlapping and Order-Independent Patterns - Definitional Equality for All. | Jesper Cockx, Frank Piessens, Dominique Devriese |
| 2014 | ICFP | Pattern matching without K. | Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2014 | ICISS | Client Side Web Session Integrity as a Non-interference Property. | Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens |
| 2014 | OOPSLA | Multi-Tier Functional Reactive Programming for the Web. | Bob Reynders, Dominique Devriese, Frank Piessens |
| 2014 | PADL | Partial Type Signatures for Haskell. | Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
| 2014 | WWW | Stranger danger: exploring the ecosystem of ad-based URL shortening services. | Nick Nikiforakis, Federico Maggi, Gianluca Stringhini, M. Zubair Rafique, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna, Stefano Zanero |
| 2013 | APLAS | Secure Compilation of Object-Oriented Components to Protected Module Architectures. | Marco Patrignani, Dave Clarke, Frank Piessens |
| 2013 | CCS | FPDetective: dusting the web for fingerprinters. | Gunes Acar, Marc Juarez, Nick Nikiforakis, Claudia Daz, Seda F. Grses, Frank Piessens, Bart Preneel |
| 2013 | CCS | Practical verification of WPA-TKIP vulnerabilities. | Mathy Vanhoef, Frank Piessens |
| 2013 | DIMVA | HeapSentry: Kernel-Assisted Protection against Heap Overflows. | Nick Nikiforakis, Frank Piessens, Wouter Joosen |
| 2013 | ICFP | Typed syntactic meta-programming. | Dominique Devriese, Frank Piessens |
| 2013 | PEPM | Fixing idioms: a recursion primitive for applicative DSLs. | Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens |
| 2013 | PLDI | Monadic abstract interpreters. | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens |
| 2013 | WWW | Bitsquatting: exploiting bit-flips for fun, or profit? | Nick Nikiforakis, Steven Van Acker, Wannes Meert, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2013 | SP | Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting. | Nick Nikiforakis, Alexandros Kapravelos, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna |
| 2013 | SecureComm | Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least Privilege. | Niels Avonds, Raoul Strackx, Pieter Agten, Frank Piessens |
| 2013 | SOFSEM | State Coverage: An Empirical Analysis Based on a User Study. | Dries Vanoverberghe, Emma Eyckmans, Frank Piessens |
| 2012 | ACSAC | JSand: complete client-side sandboxing of third-party JavaScript without browser modifications. | Pieter Agten, Steven Van Acker, Yoran Brondsema, Phu H. Phung, Lieven Desmet, Frank Piessens |
| 2012 | CCS | FlashOver: automated discovery of cross-site scripting vulnerabilities in rich internet applications. | Steven Van Acker, Nick Nikiforakis, Lieven Desmet, Wouter Joosen, Frank Piessens |
| 2012 | CCS | FlowFox: a web browser with flexible and precise information flow control. | Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens |
| 2012 | CCS | You are what you include: large-scale evaluation of remote javascript inclusions. | Nick Nikiforakis, Luca Invernizzi, Alexandros Kapravelos, Steven Van Acker, Wouter Joosen, Christopher Kruegel, Frank Piessens, Giovanni Vigna |
| 2012 | CCS | Fides: selectively hardening software application components against kernel-level or process-level malware. | Raoul Strackx, Frank Piessens |
| 2012 | DAIS | Serene: Self-Reliant Client-Side Protection against Session Fixation. | Philippe De Ryck, Nick Nikiforakis, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2012 | FORTE | Secure Multi-Execution through Static Program Transformation. | Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
| 2012 | ICISS | ProtoLeaks: A Reliable and Protocol-Independent Network Covert Channel. | Arne Swinnen, Raoul Strackx, Pieter Philippaerts, Frank Piessens |
| 2012 | RAID | DEMACRO: Defense against Malicious Cross-Domain Requests. | Sebastian Lekies, Nick Nikiforakis, Walter Tighzert, Frank Piessens, Martin Johns |
| 2012 | SECRYPT | A Security Analysis of Emerging Web Standards - HTML5 and Friends, from Specification to Implementation. | Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2012 | SOFSEM | State Coverage: Software Validation Metrics beyond Code Coverage. | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
| 2012 | WISTP | Recent Developments in Low-Level Software Security. | Pieter Agten, Nick Nikiforakis, Raoul Strackx, Willem De Groef, Frank Piessens |
| 2011 | ACSAC | WebJail: least-privilege integration of third-party components in web mashups. | Steven Van Acker, Philippe De Ryck, Lieven Desmet, Frank Piessens, Wouter Joosen |
| 2011 | DIMVA | Code Pointer Masking: Hardening Applications against Code Injection Attacks. | Pieter Philippaerts, Yves Younan, Stijn Muylle, Frank Piessens, Sven Lachmund, Thomas Walter |
| 2011 | ESORICS | Automatic and Precise Client-Side Protection against CSRF Attacks. | Philippe De Ryck, Lieven Desmet, Wouter Joosen, Frank Piessens |
| 2011 | FASE | Theoretical Aspects of Compositional Symbolic Execution. | Dries Vanoverberghe, Frank Piessens |
| 2011 | FM | Verification of Unloadable Modules. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2011 | FORTE | Annotation Inference for Separation Logic Based Verifiers. | Frdric Vogels, Bart Jacobs, Frank Piessens, Jan Smans |
| 2011 | ICFP | On the bright side of type classes: instance arguments in Agda. | Dominique Devriese, Frank Piessens |
| 2011 | NSS | Reactive non-interference for a browser model. | Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens |
| 2011 | PADL | Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. | Dominique Devriese, Frank Piessens |
| 2011 | POPL | Expressive modular fine-grained concurrency specification. | Bart Jacobs, Frank Piessens |
| 2010 | APLAS | A Quick Tour of the VeriFast Program Verifier. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2010 | CCS | PAriCheck: an efficient pointer arithmetic checker for C programs. | Yves Younan, Pieter Philippaerts, Lorenzo Cavallaro, R. Sekar, Frank Piessens, Wouter Joosen |
| 2010 | FORTE | Heap-Dependent Expressions in Separation Logic. | Jan Smans, Bart Jacobs, Frank Piessens |
| 2010 | ICISS | ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows. | Steven Van Acker, Nick Nikiforakis, Pieter Philippaerts, Yves Younan, Frank Piessens |
| 2010 | SAC | A machine-checked soundness proof for an efficient verification condition generator. | Frdric Vogels, Bart Jacobs, Frank Piessens |
| 2010 | SP | Noninterference through Secure Multi-execution. | Dominique Devriese, Frank Piessens |
| 2010 | SecureComm | Efficient Isolation of Trusted Subsystems in Embedded Systems. | Raoul Strackx, Frank Piessens, Bart Preneel |
| 2010 | WISTP | Efficient and Effective Buffer Overflow Protection on ARM Processors. | Raoul Strackx, Yves Younan, Pieter Philippaerts, Frank Piessens |
| 2009 | CCS | Filter-resistant code injection on ARM. | Yves Younan, Pieter Philippaerts, Frank Piessens, Wouter Joosen, Sven Lachmund, Thomas Walter |
| 2009 | ECOOP | Security Monitor Inlining for Multithreaded Java. | Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens |
| 2009 | ECOOP | Failboxes: Provably Safe Exception Handling. | Bart Jacobs, Frank Piessens |
| 2009 | ECOOP | Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. | Jan Smans, Bart Jacobs, Frank Piessens |
| 2009 | SOFSEM | A Machine Checked Soundness Proof for an Intermediate Verification Language. | Frdric Vogels, Bart Jacobs, Frank Piessens |
| 2009 | TACAS | Test Input Generation for Programs with Pointers. | Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens |
| 2008 | FASE | An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte |
| 2008 | OOPSLA | Generics of a higher kind. | Adriaan Moors, Frank Piessens, Martin Odersky |
| 2007 | CCS | A flexible security architecture to support third-party applications on mobile devices. | Lieven Desmet, Wouter Joosen, Fabio Massacci, Katsiaryna Naliuka, Pieter Philippaerts, Frank Piessens, Dries Vanoverberghe |
| 2007 | ICSE | Supporting Security Monitor-Aware Development. | Dries Vanoverberghe, Frank Piessens |
| 2007 | SEFM | Sound reasoning about unchecked exceptions. | Bart Jacobs, Peter Mller, Frank Piessens |
| 2006 | ACSAC | Extended Protection against Stack Smashing Attacks without Performance Loss. | Yves Younan, Davide Pozza, Frank Piessens, Wouter Joosen |
| 2006 | CCS | Bridging the gap between web application firewalls and web applications. | Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten |
| 2006 | ICFEM | A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. | Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte |
| 2006 | ICFP | An object-oriented approach to datatype-generic programming. | Adriaan Moors, Frank Piessens, Wouter Joosen |
| 2006 | ICICS | Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic. | Yves Younan, Wouter Joosen, Frank Piessens |
| 2006 | ICSE | How secure is AOP and what can we do about it? | Bart De Win, Frank Piessens, Wouter Joosen |
| 2005 | ACSAC | Uniform Application-level Access Control Enforcement of Organizationwide Policies. | Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen |
| 2005 | ICSE | Requirements traceability to support evolution of access control. | Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen |
| 2005 | ICSE | Towards a unifying view on security contracts. | Bart De Win, Frank Piessens, Jan Smans, Wouter Joosen |
| 2005 | SEFM | Safe Concurrency for Aggregate Objects with Invariants. | Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte |
| 2003 | DAIS | Adaptable Access Control Policies for Medical Information Systems. | Tine Verhanneman, Liesbeth Jaco, Bart De Win, Frank Piessens, Wouter Joosen |
| 2003 | SEC | Secure Vickrey Auctions without a Trusted Third Party. | Bart De Decker, Gregory Neven, Frank Piessens |
| 2001 | DAIS | Second Price Auctions - A Case Study of Secure Distributed Computating. | Bart De Decker, Gregory Neven, Frank Piessens, Erik Van Hoeymissen |
| 2001 | SEC | On Securely Scheduling a Meeting. | T. Herlea, Joris Claessens, Bart Preneel, Gregory Neven, Frank Piessens, Bart De Decker |
| 2000 | DIAGRAMS | Universal Arrow Foundations for Visual Modeling. | Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson |
| 2000 | SEC | On the Practical Feasibiltiy of Secure Distributed Computing: A Case Study. | Gregory Neven, Frank Piessens, Bart De Decker |
| 1996 | ICLP | A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
| 1994 | CSL | Canonical Forms for Data-Specifications. | Frank Piessens, Eric Steegmans |
| 1993 | SP | Interconnecting domains with heterogeneous key distribution and authentication protocols. | Frank Piessens, Bart De Decker, Phil Janson |