Interconnecting domains with heterogeneous key distribution and authentication protocols. - Frank Piessens; Bart De Decker; Phil Janson (S&P, 1993)

Canonical Forms for Data-Specifications. - Frank Piessens; Eric Steegmans (CSL, 1994)

Using Event Calculus for Protocol Specification: An Experiment. - Marc Denecker; Guy Duchatelet; Frank Piessens; Kristof Van Belleghem; Danny De Schreye (Deductive Databases / Abduction in Deductive Databases, 1995)

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. - Marc Denecker; Kristof Van Belleghem; Guy Duchatelet; Frank Piessens; Danny De Schreye (JICSLP, 1996)

Selective Attribute Elimination for Categorial Data Specifications. - Frank Piessens; Eric Steegmans (AMAST, 1997)

What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations. - Zinovy Diskin; Boris Kadish; Frank Piessens (Behavioral Specifications of Businesses and Systems, 1999)

Universal Arrow Foundations for Visual Modeling. - Zinovy Diskin; Boris Kadish; Frank Piessens; Michael Johnson (Diagrams, 2000)

Semi-trusted Hosts and Mobile Agents: Enabling Secure Distributed Computations. - Bart De Decker; Frank Piessens; Erik Van Hoeymissen; Gregory Neven (MATA, 2000)

On the Practical Feasibiltiy of Secure Distributed Computing: A Case Study. - Gregory Neven; Frank Piessens; Bart De Decker (SEC, 2000)

Second Price Auctions - A Case Study of Secure Distributed Computating. - Bart De Decker; Gregory Neven; Frank Piessens; Erik Van Hoeymissen (DAIS, 2001)

On Securely Scheduling a Meeting. - T. Herlea; Joris Claessens; Bart Preneel; Gregory Neven; Frank Piessens; Bart De Decker (SEC, 2001)

Developing secure software. A survey and classification of common software vulnerabilities. - Frank Piessens; Bart De Decker; Bart De Win (IICIS, 2001)

A survey of customizability in operating systems research. - G. Denys; Frank Piessens; Frank Matthijs (ACM Comput. Surv., 2002)

Adaptable Access Control Policies for Medical Information Systems. - Tine Verhanneman; Liesbeth Jaco; Bart De Win; Frank Piessens; Wouter Joosen (DAIS, 2003)

Secure Vickrey Auctions without a Trusted Third Party. - Bart De Decker; Gregory Neven; Frank Piessens (SEC, 2003)

Software security: experiments on the .NET common language run-time and the shared source common language infrastructure. - Frank Piessens; Bart Jacobs 002; Wouter Joosen (IEE Proc. Softw., 2003)

A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components. - Lieven Desmet; Bart Jacobs 002; Frank Piessens; Wouter Joosen (Communications and Multimedia Security, 2004)

Threat Modelling for Web Services Based Web Applications. - Lieven Desmet; Bart Jacobs 002; Frank Piessens; Wouter Joosen (Communications and Multimedia Security, 2004)

Towards preserving correctness in self-managed software systems. - Lieven Desmet; Nico Janssens; Sam Michiels; Frank Piessens; Wouter Joosen; Pierre Verbaeten (WOSS, 2004)

Support for Metadata-driven Selection of Run-time Services in .NET is Promising but Immature. - Frank Piessens; Bart Jacobs 002; Eddy Truyen; Wouter Joosen (J. Object Technol., 2004)

Uniform Application-level Access Control Enforcement of Organizationwide Policies. - Tine Verhanneman; Frank Piessens; Bart De Win; Wouter Joosen (ACSAC, 2005)

Requirements traceability to support evolution of access control. - Tine Verhanneman; Frank Piessens; Bart De Win; Wouter Joosen (SESS@ICSE, 2005)

Towards a unifying view on security contracts. - Bart De Win; Frank Piessens; Jan Smans; Wouter Joosen (SESS@ICSE, 2005)

A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks. - Yves Younan; Wouter Joosen; Frank Piessens (IWIA, 2005)

Safe Concurrency for Aggregate Objects with Invariants. - Bart Jacobs 002; Frank Piessens; K. Rustan M. Leino; Wolfram Schulte (SEFM, 2005)

Extended Protection against Stack Smashing Attacks without Performance Loss. - Yves Younan; Davide Pozza; Frank Piessens; Wouter Joosen (ACSAC, 2006)

Bridging the gap between web application firewalls and web applications. - Lieven Desmet; Frank Piessens; Wouter Joosen; Pierre Verbaeten (FMSE, 2006)

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (ICFEM, 2006)

An object-oriented approach to datatype-generic programming. - Adriaan Moors; Frank Piessens; Wouter Joosen (ICFP-WGP, 2006)

Efficient Protection Against Heap-Based Buffer Overflows Without Resorting to Magic. - Yves Younan; Wouter Joosen; Frank Piessens (ICICS, 2006)

How secure is AOP and what can we do about it? - Bart De Win; Frank Piessens; Wouter Joosen (SESS@ICSE, 2006)

VC generation for functional behavior and non-interference of iterators. - Bart Jacobs 002; Frank Piessens; Wolfram Schulte (SAVCBS@FSE, 2006)

Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. - Lieven Desmet; Frank Piessens; Wouter Joosen; Pierre Verbaeten (SC@ETAPS, 2006)

A Modular Access Control Service for Supporting Application-Specific Policies. - Tine Verhanneman; Frank Piessens; Bart De Win; Eddy Truyen; Wouter Joosen (IEEE Distributed Syst. Online, 2006)

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs. - Bart Jacobs 002; Jan Smans; Frank Piessens; Wolfram Schulte (TV@FLoC, 2006)

Static Verification of Code Access Security Policy Compliance of .NET Applications. - Jan Smans; Bart Jacobs 002; Frank Piessens (J. Object Technol., 2006)

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 (CSAW, 2007)

Supporting Security Monitor-Aware Development. - Dries Vanoverberghe; Frank Piessens (SESS@ICSE, 2007)

Sound reasoning about unchecked exceptions. - Bart Jacobs 002; Peter Müller 001; Frank Piessens (SEFM, 2007)

Preface. - Fabio Massacci; Frank Piessens (REM@ESORICS, 2007)

Inspector Methods for State Abstraction. - Bart Jacobs 002; Frank Piessens (J. Object Technol., 2007)

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (FASE, 2008)

Security-By-Contract for the Future Internet. - Fabio Massacci; Frank Piessens; Ida Sri Rejeki Siahaan (FIS, 2008)

VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. - Jan Smans; Bart Jacobs 002; Frank Piessens (FMOODS, 2008)

A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language. - Dries Vanoverberghe; Frank Piessens (FMOODS, 2008)

Generics of a higher kind. - Adriaan Moors; Frank Piessens; Martin Odersky (OOPSLA, 2008)

Security-by-contract on the .NET platform. - Lieven Desmet; Wouter Joosen; Fabio Massacci; Pieter Philippaerts; Frank Piessens; Ida Sri Rejeki Siahaan; Dries Vanoverberghe (Inf. Secur. Tech. Rep., 2008)

Preface. - Fabio Massacci; Frank Piessens; Sjouke Mauw (Sci. Comput. Program., 2008)

A programming model for concurrent object-oriented programs. - Bart Jacobs 002; Frank Piessens; Jan Smans; K. Rustan M. Leino; Wolfram Schulte (ACM Trans. Program. Lang. Syst., 2008)

Provable Protection against Web Application Vulnerabilities Related to Session Data Dependencies. - Lieven Desmet; Pierre Verbaeten; Wouter Joosen; Frank Piessens (IEEE Trans. Software Eng., 2008)

Security Middleware for Mobile Applications. - Bart De Win; Tom Goovaerts; Wouter Joosen; Pieter Philippaerts; Frank Piessens; Yves Younan (Middleware for Network Eccentric and Mobile Applications, 2009)

Protecting Global and Static Variables from Buffer Overflow Attacks. - Yves Younan; Frank Piessens; Wouter Joosen (ARES, 2009)

Filter-resistant code injection on ARM. - Yves Younan; Pieter Philippaerts; Frank Piessens; Wouter Joosen; Sven Lachmund; Thomas Walter 001 (CCS, 2009)

Security Monitor Inlining for Multithreaded Java. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (ECOOP, 2009)

Failboxes: Provably Safe Exception Handling. - Bart Jacobs 002; Frank Piessens (ECOOP, 2009)

Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. - Jan Smans; Bart Jacobs 002; Frank Piessens (ECOOP, 2009)

Report: Extensibility and Implementation Independence of the .NET Cryptographic API. - Pieter Philippaerts; Cédric Boon; Frank Piessens (ESSoS, 2009)

Breaking the memory secrecy assumption. - Raoul Strackx; Yves Younan; Pieter Philippaerts; Frank Piessens; Sven Lachmund; Thomas Walter 001 (EUROSEC, 2009)

A Security Architecture for Web 2.0 Applications. - Lieven Desmet; Wouter Joosen; Fabio Massacci; Katsiaryna Naliuka; Pieter Philippaerts; Frank Piessens; Ida Sri Rejeki Siahaan; Dries Vanoverberghe (Future Internet Assembly, 2009)

A Machine Checked Soundness Proof for an Intermediate Verification Language. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (SOFSEM, 2009)

Test Input Generation for Programs with Pointers. - Dries Vanoverberghe; Nikolai Tillmann; Frank Piessens (TACAS, 2009)

The S3MS.NET Run Time Monitor: Tool Demonstration. - Lieven Desmet; Wouter Joosen; Fabio Massacci; Katsiaryna Naliuka; Pieter Philippaerts; Frank Piessens; Dries Vanoverberghe (BYTECODE@ETAPS, 2009)

Security enforcement aware software development. - Dries Vanoverberghe; Frank Piessens (Inf. Softw. Technol., 2009)

A Quick Tour of the VeriFast Program Verifier. - Bart Jacobs 002; Jan Smans; Frank Piessens (APLAS, 2010)

PAriCheck: an efficient pointer arithmetic checker for C programs. - Yves Younan; Pieter Philippaerts; Lorenzo Cavallaro; R. Sekar 001; Frank Piessens; Wouter Joosen (AsiaCCS, 2010)

CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests. - Philippe De Ryck; Lieven Desmet; Thomas Heyman; Frank Piessens; Wouter Joosen (ESSoS, 2010)

Heap-Dependent Expressions in Separation Logic. - Jan Smans; Bart Jacobs 002; Frank Piessens (FMOODS/FORTE, 2010)

ValueGuard: Protection of Native Applications against Data-Only Buffer Overflows. - Steven Van Acker; Nick Nikiforakis; Pieter Philippaerts; Yves Younan; Frank Piessens (ICISS, 2010)

Security of Web Mashups: A Survey. - Philippe De Ryck; Maarten Decat; Lieven Desmet; Frank Piessens; Wouter Joosen (NordSec, 2010)

A machine-checked soundness proof for an efficient verification condition generator. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (SAC, 2010)

Efficient Isolation of Trusted Subsystems in Embedded Systems. - Raoul Strackx; Frank Piessens; Bart Preneel (SecureComm, 2010)

Noninterference through Secure Multi-execution. - Dominique Devriese; Frank Piessens (IEEE Symposium on Security and Privacy, 2010)

Efficient and Effective Buffer Overflow Protection on ARM Processors. - Raoul Strackx; Yves Younan; Pieter Philippaerts; Frank Piessens (WISTP, 2010)

Automatic verification of Java programs with dynamic frames. - Jan Smans; Bart Jacobs 002; Frank Piessens; Wolfram Schulte (Formal Aspects Comput., 2010)

Improving Memory Management Security for C and C++. - Yves Younan; Wouter Joosen; Frank Piessens; Hans Van den Eynden (Int. J. Secur. Softw. Eng., 2010)

Provably correct inline monitoring for multithreaded Java-like programs. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (J. Comput. Secur., 2010)

Low-Level Software Security by Example. - Úlfar Erlingsson; Yves Younan; Frank Piessens (Handbook of Information and Communication Security, 2010)

WebJail: least-privilege integration of third-party components in web mashups. - Steven Van Acker; Philippe De Ryck; Lieven Desmet; Frank Piessens; Wouter Joosen (ACSAC, 2011)

Code Pointer Masking: Hardening Applications against Code Injection Attacks. - Pieter Philippaerts; Yves Younan; Stijn Muylle; Frank Piessens; Sven Lachmund; Thomas Walter 001 (DIMVA, 2011)

Automatic and Precise Client-Side Protection against CSRF Attacks. - Philippe De Ryck; Lieven Desmet; Wouter Joosen; Frank Piessens (ESORICS, 2011)

Theoretical Aspects of Compositional Symbolic Execution. - Dries Vanoverberghe; Frank Piessens (FASE, 2011)

Verification of Unloadable Modules. - Bart Jacobs 002; Jan Smans; Frank Piessens (FM, 2011)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

Annotation Inference for Separation Logic Based Verifiers. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens; Jan Smans (FMOODS/FORTE, 2011)

On the bright side of type classes: instance arguments in Agda. - Dominique Devriese; Frank Piessens (ICFP, 2011)

Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. - Willem De Groef; Dominique Devriese; Frank Piessens (Formal Aspects in Security and Trust, 2011)

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. - Bart Jacobs 002; Jan Smans; Pieter Philippaerts; Frédéric Vogels; Willem Penninckx; Frank Piessens (NASA Formal Methods, 2011)

Reactive non-interference for a browser model. - Nataliia Bielova; Dominique Devriese; Fabio Massacci; Frank Piessens (NSS, 2011)

Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. - Dominique Devriese; Frank Piessens (PADL, 2011)

Expressive modular fine-grained concurrency specification. - Bart Jacobs 002; Frank Piessens (POPL, 2011)

Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper). - Fabio Massacci; Fabrice Bouquet; Elizabeta Fourneret; Jan Jürjens; Mass Soldal Lund; Sébastien Madelénat; Jan Tobias Mühlberg; Federica Paci; Stéphane Paul; Frank Piessens; Bjørnar Solhaug; Sven Wenzel (ServiceWave, 2011)

Information flow enforcement in monadic libraries. - Dominique Devriese; Frank Piessens (TLDI, 2011)

The Belgian Electronic Identity Card: a Verification Case Study. - Pieter Philippaerts; Frédéric Vogels; Jan Smans; Bart Jacobs 002; Frank Piessens (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Special Section on Formal Techniques for Java-like Programs. - Frank Piessens; Bart Jacobs 002; Gary T. Leavens (J. Object Technol., 2011)

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 (ACSAC, 2012)

FlashOver: automated discovery of cross-site scripting vulnerabilities in rich internet applications. - Steven Van Acker; Nick Nikiforakis; Lieven Desmet; Wouter Joosen; Frank Piessens (AsiaCCS, 2012)

FlowFox: a web browser with flexible and precise information flow control. - Willem De Groef; Dominique Devriese; Nick Nikiforakis; Frank Piessens (CCS, 2012)

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 (CCS, 2012)

Fides: selectively hardening software application components against kernel-level or process-level malware. - Raoul Strackx; Frank Piessens (CCS, 2012)

Secure Compilation to Modern Processors. - Pieter Agten; Raoul Strackx; Bart Jacobs 002; Frank Piessens (CSF, 2012)

Serene: Self-Reliant Client-Side Protection against Session Fixation. - Philippe De Ryck; Nick Nikiforakis; Lieven Desmet; Frank Piessens; Wouter Joosen (DAIS, 2012)

Secure Multi-Execution through Static Program Transformation. - Gilles Barthe; Juan Manuel Crespo; Dominique Devriese; Frank Piessens; Exequiel Rivas (FMOODS/FORTE, 2012)

ProtoLeaks: A Reliable and Protocol-Independent Network Covert Channel. - Arne Swinnen; Raoul Strackx; Pieter Philippaerts; Frank Piessens (ICISS, 2012)

Sound Formal Verification of Linux's USB BP Keyboard Driver. - Willem Penninckx; Jan Tobias Mühlberg; Jan Smans; Bart Jacobs 002; Frank Piessens (NASA Formal Methods, 2012)

There Is Safety in Numbers: Preventing Control-Flow Hijacking by Duplication. - Job Noorman; Nick Nikiforakis; Frank Piessens (NordSec, 2012)

Exploring the Ecosystem of Referrer-Anonymizing Services. - Nick Nikiforakis; Steven Van Acker; Frank Piessens; Wouter Joosen (Privacy Enhancing Technologies, 2012)

DEMACRO: Defense against Malicious Cross-Domain Requests. - Sebastian Lekies; Nick Nikiforakis; Walter Tighzert; Frank Piessens; Martin Johns (RAID, 2012)

A Security Analysis of Emerging Web Standards - HTML5 and Friends, from Specification to Implementation. - Philippe De Ryck; Lieven Desmet; Frank Piessens; Wouter Joosen (SECRYPT, 2012)

PESAP: A Privacy Enhanced Social Application Platform. - Tom Reynaert; Willem De Groef; Dominique Devriese; Lieven Desmet; Frank Piessens (SocialCom/PASSAT, 2012)

State Coverage: Software Validation Metrics beyond Code Coverage. - Dries Vanoverberghe; Jonathan de Halleux; Nikolai Tillmann; Frank Piessens (SOFSEM, 2012)

Recent Developments in Low-Level Software Security. - Pieter Agten; Nick Nikiforakis; Raoul Strackx; Willem De Groef; Frank Piessens (WISTP, 2012)

Runtime countermeasures for code injection attacks against C and C++ programs. - Yves Younan; Wouter Joosen; Frank Piessens (ACM Comput. Surv., 2012)

Finally tagless observable recursion for an abstract grammar model. - Dominique Devriese; Frank Piessens (J. Funct. Program., 2012)

Implicit dynamic frames. - Jan Smans; Bart Jacobs 002; Frank Piessens (ACM Trans. Program. Lang. Syst., 2012)

Secure Compilation of Object-Oriented Components to Protected Module Architectures. - Marco Patrignani; Dave Clarke 001; Frank Piessens (APLAS, 2013)

FPDetective: dusting the web for fingerprinters. - Gunes Acar; Marc Juarez; Nick Nikiforakis; Claudia Díaz; Seda F. Gürses; Frank Piessens; Bart Preneel (CCS, 2013)

Practical verification of WPA-TKIP vulnerabilities. - Mathy Vanhoef; Frank Piessens (AsiaCCS, 2013)

HeapSentry: Kernel-Assisted Protection against Heap Overflows. - Nick Nikiforakis; Frank Piessens; Wouter Joosen (DIMVA, 2013)

Information Flow Control for Web Scripts. - Willem De Groef; Dominique Devriese; Mathy Vanhoef; Frank Piessens (FOSAD, 2013)

Typed syntactic meta-programming. - Dominique Devriese; Frank Piessens (ICFP, 2013)

Protected Software Module Architectures. - Raoul Strackx; Job Noorman; Ingrid Verbauwhede; Bart Preneel; Frank Piessens (ISSE, 2013)

Fixing idioms: a recursion primitive for applicative DSLs. - Dominique Devriese; Ilya Sergey; Dave Clarke 001; Frank Piessens (PEPM, 2013)

Monadic abstract interpreters. - Ilya Sergey; Dominique Devriese; Matthew Might; Jan Midtgaard; David Darais; Dave Clarke 001; Frank Piessens (PLDI, 2013)

Salus: Non-hierarchical Memory Access Rights to Enforce the Principle of Least Privilege. - Niels Avonds; Raoul Strackx; Pieter Agten; Frank Piessens (SecureComm, 2013)

State Coverage: An Empirical Analysis Based on a User Study. - Dries Vanoverberghe; Emma Eyckmans; Frank Piessens (SOFSEM, 2013)

Cookieless Monster: Exploring the Ecosystem of Web-Based Device Fingerprinting. - Nick Nikiforakis; Alexandros Kapravelos; Wouter Joosen; Christopher Kruegel; Frank Piessens; Giovanni Vigna (IEEE Symposium on Security and Privacy, 2013)

Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. - Job Noorman; Pieter Agten; Wilfried Daniels; Raoul Strackx; Anthony Van Herrewege; Christophe Huygens; Bart Preneel; Ingrid Verbauwhede; Frank Piessens (USENIX Security Symposium, 2013)

Bitsquatting: exploiting bit-flips for fun, or profit? - Nick Nikiforakis; Steven Van Acker; Wannes Meert; Lieven Desmet; Frank Piessens; Wouter Joosen (WWW, 2013)

CPM: Masking Code Pointers to Prevent Code Injection Attacks. - Pieter Philippaerts; Yves Younan; Stijn Muylle; Frank Piessens; Sven Lachmund; Thomas Walter 001 (ACM Trans. Inf. Syst. Secur., 2013)

VeriFast for Java: A Tutorial. - Jan Smans; Bart Jacobs 002; Frank Piessens (Aliasing in Object-Oriented Programming, 2013)

NodeSentry: least-privilege library integration for server-side JavaScript. - Willem De Groef; Fabio Massacci; Frank Piessens (ACSAC, 2014)

ICE: a passive, high-speed, state-continuity scheme. - Raoul Strackx; Bart Jacobs 002; Frank Piessens (ACSAC, 2014)

Advanced Wi-Fi attacks using commodity hardware. - Mathy Vanhoef; Frank Piessens (ACSAC, 2014)

Secure interrupts on low-end microcontrollers. - Ruan de Clercq; Frank Piessens; Dries Schellekens; Ingrid Verbauwhede (ASAP, 2014)

Monkey-in-the-browser: malware and vulnerabilities in augmented browsing script markets. - Steven Van Acker; Nick Nikiforakis; Lieven Desmet; Frank Piessens; Wouter Joosen (AsiaCCS, 2014)

Clubbing Seals: Exploring the Ecosystem of Third-party Security Seals. - Tom van Goethem; Frank Piessens; Wouter Joosen; Nick Nikiforakis (CCS, 2014)

Stateful Declassification Policies for Event-Driven Programs. - Mathy Vanhoef; Willem De Groef; Dominique Devriese; Frank Piessens; Tamara Rezk (CSF, 2014)

Overlapping and Order-Independent Patterns - Definitional Equality for All. - Jesper Cockx; Frank Piessens; Dominique Devriese (ESOP, 2014)

Pattern matching without K. - Jesper Cockx; Dominique Devriese; Frank Piessens (ICFP, 2014)

Client Side Web Session Integrity as a Non-interference Property. - Wilayat Khan; Stefano Calzavara; Michele Bugliesi; Willem De Groef; Frank Piessens (ICISS, 2014)

Soundsquatting: Uncovering the Use of Homophones in Domain Squatting. - Nick Nikiforakis; Marco Balduzzi; Lieven Desmet; Frank Piessens; Wouter Joosen (ISC, 2014)

Multi-Tier Functional Reactive Programming for the Web. - Bob Reynders; Dominique Devriese; Frank Piessens (Onward!, 2014)

Partial Type Signatures for Haskell. - Thomas Winant; Dominique Devriese; Frank Piessens; Tom Schrijvers (PADL, 2014)

Stranger danger: exploring the ecosystem of ad-based URL shortening services. - Nick Nikiforakis; Federico Maggi 001; Gianluca Stringhini; M. Zubair Rafique; Wouter Joosen; Christopher Kruegel; Frank Piessens; Giovanni Vigna; Stefano Zanero (WWW, 2014)

On the effectiveness of virtualization-based security. - Francesco Gadaleta; Raoul Strackx; Nick Nikiforakis; Frank Piessens; Wouter Joosen (CoRR, 2014)

On the Workings and Current Practices of Web-Based Device Fingerprinting. - Nick Nikiforakis; Alexandros Kapravelos; Wouter Joosen; Christopher Kruegel; Frank Piessens; Giovanni Vigna (IEEE Secur. Priv., 2014)

Evolution of Security Engineering Artifacts: A State of the Art Survey. - Michael Felderer; Basel Katt; Philipp Kalb; Jan Jürjens; Martín Ochoa; Federica Paci; Le Minh Sang Tran; Thein Than Tun; Koen Yskout; Riccardo Scandariato; Frank Piessens; Dries Vanoverberghe; et al. (Int. J. Secur. Softw. Eng., 2014)

Secure multi-execution of web scripts: Theory and practice. - Willem De Groef; Dominique Devriese; Nick Nikiforakis; Frank Piessens (J. Comput. Secur., 2014)

Software verification with VeriFast: Industrial case studies. - Pieter Philippaerts; Jan Tobias Mühlberg; Willem Penninckx; Jan Smans; Bart Jacobs 002; Frank Piessens (Sci. Comput. Program., 2014)

Primer on Client-Side Web Security - Philippe De Ryck; Lieven Desmet; Frank Piessens; Martin Johns (Springer, 2014)

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. - Willem Penninckx; Bart Jacobs 002; Frank Piessens (ESOP, 2015)

Lightweight and Flexible Trust Assessment Modules for the Internet of Things. - Jan Tobias Mühlberg; Job Noorman; Frank Piessens (ESORICS (1), 2015)

Generating safe boundary APIs between typed EDSLs and their environments. - Bob Reynders; Dominique Devriese; Frank Piessens (GPCE, 2015)

Fixing non-determinism. - Alexander Vandenbroucke; Tom Schrijvers; Frank Piessens (IFL, 2015)

Seven Months' Worth of Mistakes: A Longitudinal Study of Typosquatting Abuse. - Pieter Agten; Wouter Joosen; Frank Piessens; Nick Nikiforakis (NDSS, 2015)

Sound Modular Verification of C Code Executing in an Unverified Context. - Pieter Agten; Bart Jacobs 002; Frank Piessens (POPL, 2015)

Runtime Enforcement of Security Policies on Black Box Reactive Programs. - Minh Ngo; Fabio Massacci; Dimiter Milushev; Frank Piessens (POPL, 2015)

SecSess: keeping your session tucked away in your browser. - Philippe De Ryck; Lieven Desmet; Frank Piessens; Wouter Joosen (SAC, 2015)

Learning Assertions to Verify Linked-List Programs. - Jan Tobias Mühlberg; David H. White 001; Mike Dodds; Gerald Lüttgen; Frank Piessens (SEFM, 2015)

All Your Biases Belong to Us: Breaking RC4 in WPA-TKIP and TLS. - Mathy Vanhoef; Frank Piessens (USENIX Security Symposium, 2015)

Secure Resource Sharing for Embedded Protected Module Architectures. - Jo Van Bulck; Job Noorman; Jan Tobias Mühlberg; Frank Piessens (WISTP, 2015)

Featherweight VeriFast. - Frédéric Vogels; Bart Jacobs 002; Frank Piessens (Log. Methods Comput. Sci., 2015)

Protected Web Components: Hiding Sensitive Information in the Shadows. - Philippe De Ryck; Nick Nikiforakis; Lieven Desmet; Frank Piessens; Wouter Joosen (IT Prof., 2015)

Security monitor inlining and certification for multithreaded Java. - Mads Dam; Bart Jacobs 002; Andreas Lundblad; Frank Piessens (Math. Struct. Comput. Sci., 2015)

Salus: Kernel Support for Secure Process Compartments. - Raoul Strackx; Pieter Agten; Niels Avonds; Frank Piessens (EAI Endorsed Trans. Security Safety, 2015)

Solving the VerifyThis 2012 challenges with VeriFast. - Bart Jacobs 002; Jan Smans; Frank Piessens (Int. J. Softw. Tools Technol. Transf., 2015)

Policy ignorant caller-side inline reference monitoring. - Dries Vanoverberghe; Frank Piessens (Int. J. Softw. Tools Technol. Transf., 2015)

Secure Compilation to Protected Module Architectures. - Marco Patrignani; Pieter Agten; Raoul Strackx; Bart Jacobs 002; Dave Clarke 001; Frank Piessens (ACM Trans. Program. Lang. Syst., 2015)

Towards availability and real-time guarantees for protected module architectures. - Jo Van Bulck; Job Noorman; Jan Tobias Mühlberg; Frank Piessens (MODULARITY (Companion), 2016)

Why MAC Address Randomization is not Enough: An Analysis of Wi-Fi Network Discovery Mechanisms. - Mathy Vanhoef; Célestin Matte; Mathieu Cunche; Leonardo S. Cardoso; Frank Piessens (AsiaCCS, 2016)

On Modular and Fully-Abstract Compilation. - Marco Patrignani; Dominique Devriese; Frank Piessens (CSF, 2016)

Software security: Vulnerabilities and countermeasures for two attacker models. - Frank Piessens; Ingrid Verbauwhede (DATE, 2016)

Let's Face It: Faceted Values for Taint Tracking. - Daniel Schoepe; Musard Balliu; Frank Piessens; Andrei Sabelfeld (ESORICS (1), 2016)

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. - Dominique Devriese; Lars Birkedal; Frank Piessens (EuroS&P, 2016)

Unifiers as equivalences: proof-relevant unification of dependently typed data. - Jesper Cockx; Dominique Devriese; Frank Piessens (ICFP, 2016)

Mitigating Password Database Breaches with Intel SGX. - Helena Brekalo; Raoul Strackx; Frank Piessens (SysTEX@Middleware, 2016)

Developing Secure SGX Enclaves: New Challenges on the Horizon. - Raoul Strackx; Frank Piessens (SysTEX@Middleware, 2016)

Fully-abstract compilation by approximate back-translation. - Dominique Devriese; Marco Patrignani; Frank Piessens (POPL, 2016)

Ensuring endpoint authenticity in WebRTC peer-to-peer communication. - Willem De Groef; Deepak Subramanian; Martin Johns; Frank Piessens; Lieven Desmet (SAC, 2016)

Security Guarantees for the Execution Infrastructure of Software Applications. - Frank Piessens; Dominique Devriese; Jan Tobias Mühlberg; Raoul Strackx (SecDev, 2016)

Request and Conquer: Exposing Cross-Origin Resource Size. - Tom van Goethem; Mathy Vanhoef; Frank Piessens; Wouter Joosen (USENIX Security Symposium, 2016)

Ariadne: A Minimal Approach to State Continuity. - Raoul Strackx; Frank Piessens (USENIX Security Symposium, 2016)

Predicting, Decrypting, and Abusing WPA2/802.11 Group Keys. - Mathy Vanhoef; Frank Piessens (USENIX Security Symposium, 2016)

An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. - Jan Tobias Mühlberg; Sara Cleemput; Mustafa A. Mustafa; Jo Van Bulck; Bart Preneel; Frank Piessens (WISTP, 2016)

On Modular and Fully-Abstract Compilation - Technical Appendix. - Marco Patrignani; Dominique Devriese; Frank Piessens (CoRR, 2016)

Eliminating dependent pattern matching without K. - Jesper Cockx; Dominique Devriese; Frank Piessens (J. Funct. Program., 2016)

VulCAN: Efficient Component Authentication and Software Isolation for Automotive Control Networks. - Jo Van Bulck; Jan Tobias Mühlberg; Frank Piessens (ACSAC, 2017)

Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications. - Neline van Ginkel; Raoul Strackx; Frank Piessens (APLAS, 2017)

Key Reinstallation Attacks: Forcing Nonce Reuse in WPA2. - Mathy Vanhoef; Frank Piessens (CCS, 2017)

Discovering Logical Vulnerabilities in the Wi-Fi Handshake Using Model-Based Testing. - Mathy Vanhoef; Domien Schepers; Frank Piessens (AsiaCCS, 2017)

FRP IoT modules as a Scala DSL. - Ben Calus; Bob Reynders; Dominique Devriese; Job Noorman; Frank Piessens (REBLS@SPLASH, 2017)

A Principled Approach to Tracking Information Flow in the Presence of Libraries. - Daniel Hedin; Alexander Sjösten; Frank Piessens; Andrei Sabelfeld (POST, 2017)

Experience Report: Functional Reactive Programming and the DOM. - Bob Reynders; Dominique Devriese; Frank Piessens (Programming, 2017)

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 (RAID, 2017)

Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. - Jeff Horemans; Bob Reynders; Dominique Devriese; Frank Piessens (TFP, 2017)

SGX-Step: A Practical Attack Framework for Precise Enclave Execution Control. - Jo Van Bulck; Frank Piessens; Raoul Strackx (SysTEX@SOSP, 2017)

Hardening Intel SGX Applications: Balancing Concerns. - Kobe Vrancken; Frank Piessens; Raoul Strackx (SysTEX@SOSP, 2017)

Authentic Execution of Distributed Event-Driven Applications with a Small TCB. - Job Noorman; Jan Tobias Mühlberg; Frank Piessens (STM, 2017)

Telling Your Secrets without Page Faults: Stealthy Page Table-Based Attacks on Enclaved Execution. - Jo Van Bulck; Nico Weichbrodt; Rüdiger Kapitza; Frank Piessens; Raoul Strackx (USENIX Security Symposium, 2017)

The Heisenberg Defense: Proactively Defending SGX Enclaves against Page-Table-Based Side-Channel Attacks. - Raoul Strackx; Frank Piessens (CoRR, 2017)

Modular, Fully-abstract Compilation by Approximate Back-translation. - Dominique Devriese; Marco Patrignani; Frank Piessens; Steven Keuchel (Log. Methods Comput. Sci., 2017)

Sancus 2.0: A Low-Cost Security Architecture for IoT Devices. - 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 (ACM Trans. Priv. Secur., 2017)

Prudent Design Principles for Information Flow Control. - Iulia Bastys; Frank Piessens; Andrei Sabelfeld (PLAS@CCS, 2018)

Nemesis: Studying Microarchitectural Timing Leaks in Rudimentary CPU Interrupt Logic. - Jo Van Bulck; Frank Piessens; Raoul Strackx (CCS, 2018)

Release the Kraken: New KRACKs in the 802.11 Standard. - Mathy Vanhoef; Frank Piessens (CCS, 2018)

Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution. - Jago Gyselinck; Jo Van Bulck; Frank Piessens; Raoul Strackx (ESSoS, 2018)

Tracking Information Flow via Delayed Output - Addressing Privacy in IoT and Emailing Apps. - Iulia Bastys; Frank Piessens; Andrei Sabelfeld (NordSec, 2018)

Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. - Bob Reynders; Michael Greefs; Dominique Devriese; Frank Piessens (Programming, 2018)

Impossibility of Precise and Sound Termination-Sensitive Security Enforcements. - Minh Ngo; Frank Piessens; Tamara Rezk (IEEE Symposium on Security and Privacy, 2018)

Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. - Jo Van Bulck; Marina Minkin; Ofir Weisse; Daniel Genkin; Baris Kasikci; Frank Piessens; Mark Silberstein; Thomas F. Wenisch; Yuval Yarom; Raoul Strackx (USENIX Security Symposium, 2018)

Operating Channel Validation: Preventing Multi-Channel Man-in-the-Middle Attacks Against Protected Wi-Fi Networks. - Mathy Vanhoef; Nehru Bhandaru; Thomas Derham; Ido Ouzieli; Frank Piessens (WISEC, 2018)

Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives. - Mathy Vanhoef; Frank Piessens (WOOT @ USENIX Security Symposium, 2018)

Secure Compilation (Dagstuhl Seminar 18201). - Amal Ahmed 001; Deepak Garg 001; Catalin Hritcu; Frank Piessens (Dagstuhl Reports, 2018)

Parametricity versus the universal type. - Dominique Devriese; Marco Patrignani; Frank Piessens (Proc. ACM Program. Lang., 2018)

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 (CCS, 2019)

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 001; Berk Sunar; Jo Van Bulck; Yuval Yarom (CCS, 2019)

Verifying the Security of Enclaved Execution Against Interrupt-based Side-channel Attacks. - Frank Piessens (TIS@CCS, 2019)

Temporal Safety for Stack Allocated Memory on Capability Machines. - Stelios Tsampas 001; Dominique Devriese; Frank Piessens (CSF, 2019)

Improving Privacy Through Fast Passive Wi-Fi Scanning. - Frederik Goovaerts; Gunes Acar; Rafael Galvez; Frank Piessens; Mathy Vanhoef (NordSec, 2019)

Securely deploying distributed computation systems on peer-to-peer networks. - Kobe Vrancken; Frank Piessens; Raoul Strackx (SAC, 2019)

Automated Fuzzing of Automotive Control Units. - Timothy Werquin; Mathijs Hubrechtsen; Ashok Thangarajan; Frank Piessens; Jan Tobias Mühlberg (SIoT, 2019)

A Systematic Evaluation of Transient Execution Attacks and Defenses. - Claudio Canella; Jo Van Bulck; Michael Schwarz 001; Moritz Lipp; Benjamin von Berg; Philipp Ortner; Frank Piessens; Dmitry Evtyushkin; Daniel Gruss (USENIX Security Symposium, 2019)

Fallout: Reading Kernel Writes From User Space. - Marina Minkin; Daniel Moghimi; Moritz Lipp; Michael Schwarz 001; Jo Van Bulck; Daniel Genkin; Daniel Gruss; Frank Piessens; Berk Sunar; Yuval Yarom (CoRR, 2019)

Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow. - Jo Van Bulck; Marina Minkin; Ofir Weisse; Daniel Genkin; Baris Kasikci; Frank Piessens; Mark Silberstein; Thomas F. Wenisch; Yuval Yarom; Raoul Strackx (IEEE Micro, 2019)

A Server-Side JavaScript Security Architecture for Secure Integration of Third-Party Libraries. - Neline van Ginkel; Willem De Groef; Fabio Massacci; Frank Piessens (Secur. Commun. Networks, 2019)

Faulty Point Unit: ABI Poisoning Attacks on Intel SGX. - Fritz Alder; Jo Van Bulck; David F. Oswald; Frank Piessens (ACSAC, 2020)

A Categorical Approach to Secure Compilation. - Stelios Tsampas 001; Andreas Nuyts; Dominique Devriese; Frank Piessens (CMCS, 2020)

Secure End-to-End Sensing in Supply Chains. - Jan Pennekamp; Fritz Alder; Roman Matzutt; Jan Tobias Mühlberg; Frank Piessens; Klaus Wehrle (CNS, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CSF, 2020)

Security across abstraction layers: old and new examples. - Frank Piessens (EuroS&P Workshops, 2020)

LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. - Jo Van Bulck; Daniel Moghimi; Michael Schwarz 001; Moritz Lipp; Marina Minkin; Daniel Genkin; Yuval Yarom; Berk Sunar; Daniel Gruss; Frank Piessens (SP, 2020)

Plundervolt: Software-based Fault Injection Attacks against Intel SGX. - Kit Murdock; David F. Oswald; Flavio D. Garcia; Jo Van Bulck; Daniel Gruss; Frank Piessens (SP, 2020)

CopyCat: Controlled Instruction-Level Attacks on Enclaves. - Daniel Moghimi; Jo Van Bulck; Nadia Heninger; Frank Piessens; Berk Sunar (USENIX Security Symposium, 2020)

Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (CoRR, 2020)

CopyCat: Controlled Instruction-Level Attacks on Enclaves for Maximal Key Extraction. - Daniel Moghimi; Jo Van Bulck; Nadia Heninger; Frank Piessens; Berk Sunar (CoRR, 2020)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Dominique Devriese; Frank Piessens (CoRR, 2020)

Plundervolt: How a Little Bit of Undervolting Can Create a Lot of Trouble. - Kit Murdock; David F. Oswald; Flavio D. Garcia; Jo Van Bulck; Frank Piessens; Daniel Gruss (IEEE Secur. Priv., 2020)

Gavial: Programming the web with multi-tier FRP. - Bob Reynders; Frank Piessens; Dominique Devriese (Art Sci. Eng. Program., 2020)

Aion: Enabling Open Systems through Strong Availability Guarantees for Enclaves. - Fritz Alder; Jo Van Bulck; Frank Piessens; Jan Tobias Mühlberg (CCS, 2021)

POSTER: An Open-Source Framework for Developing Heterogeneous Distributed Enclave Applications. - Gianluca Scopelliti; Sepideh Pouyanrad; Job Noorman; Fritz Alder; Frank Piessens; Jan Tobias Mühlberg (CCS, 2021)

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. - Akram El-Korashy; Stelios Tsampas 001; Marco Patrignani; Dominique Devriese; Deepak Garg 001; Frank Piessens (CSF, 2021)

Compiler-Assisted Hardening of Embedded Software Against Interrupt Latency Side-Channel Attacks. - Hans Winderix; Jan Tobias Mühlberg; Frank Piessens (EuroS&P, 2021)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Andreas Nuyts; Dominique Devriese; Frank Piessens (MFCS, 2021)

Robust authentication for automotive control networks through covert channels. - Stien Vanderhallen; Jo Van Bulck; Frank Piessens; Jan Tobias Mühlberg (Comput. Networks, 2021)

Linear capabilities for fully abstract compilation of separation-logic-verified code. - Thomas Van Strydonck; Frank Piessens; Dominique Devriese (J. Funct. Program., 2021)

Securing Interruptible Enclaved Execution on Small Microprocessors. - Matteo Busi 001; Job Noorman; Jo Van Bulck; Letterio Galletta; Pierpaolo Degano; Jan Tobias Mühlberg; Frank Piessens (ACM Trans. Program. Lang. Syst., 2021)

Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization. - Thomas Van Strydonck; Aïna Linn Georges; Armaël Guéneau; Alix Trieu; Amin Timany; Frank Piessens; Lars Birkedal; Dominique Devriese (Zenodo, 2021)

Proving full-system security properties under multiple attacker models on capability machines. - Thomas Van Strydonck; Aïna Linn Georges; Armaël Guéneau; Alix Trieu; Amin Timany; Frank Piessens; Lars Birkedal; Dominique Devriese (CSF, 2022)

Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures. - Marton Bognar; Jo Van Bulck; Frank Piessens (SP, 2022)

Faulty Point Unit: ABI Poisoning Attacks on Trusted Execution Environments. - Fritz Alder; Jo Van Bulck; Jesse Spielman; David F. Oswald; Frank Piessens (DTRAP, 2022)

Two Parametricities Versus Three Universal Types. - Dominique Devriese; Marco Patrignani; Frank Piessens (ACM Trans. Program. Lang. Syst., 2022)

ShowTime: Amplifying Arbitrary CPU Timing Side Channels. - Antoon Purnal; Marton Bognar; Frank Piessens; Ingrid Verbauwhede (AsiaCCS, 2023)

MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling. - Marton Bognar; Hans Winderix; Jo Van Bulck; Frank Piessens (EuroS&P, 2023)

CHERI-TrEE: Flexible enclaves on capability machines. - Thomas Van Strydonck; Job Noorman; Jennifer Jackson; Leonardo Alves Dias; Robin Vanderstraeten; David F. Oswald; Frank Piessens; Dominique Devriese (EuroS&P, 2023)

AEX-Notify: Thwarting Precise Single-Stepping Attacks through Interrupt Awareness for Intel SGX Enclaves. - Scott Constable; Jo Van Bulck; Xiang Cheng; Yuan Xiao 001; Cedric Xing; Ilya Alexandrovich; Taesoo Kim; Frank Piessens; Mona Vij; Mark Silberstein (USENIX Security Symposium, 2023)

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy. - Lesly-Ann Daniel; Marton Bognar; Job Noorman; Sébastien Bardin; Tamara Rezk; Frank Piessens (USENIX Security Symposium, 2023)

ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version). - Lesly-Ann Daniel; Marton Bognar; Job Noorman; Sébastien Bardin; Tamara Rezk; Frank Piessens (CoRR, 2023)

Transient Execution Attacks. - Frank Piessens (IEEE Secur. Priv., 2023)

End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs. - Gianluca Scopelliti; Sepideh Pouyanrad; Job Noorman; Fritz Alder; Christoph Baumann; Frank Piessens; Jan Tobias Mühlberg (ACM Trans. Priv. Secur., 2023)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors. - Hans Winderix; Marton Bognar; Lesly-Ann Daniel; Frank Piessens (CCS, 2024)

Pandora: Principled Symbolic Validation of Intel SGX Enclave Runtimes. - Fritz Alder; Lesly-Ann Daniel; David F. Oswald; Frank Piessens; Jo Van Bulck (SP, 2024)

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 (SP, 2024)

Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers. - Marton Bognar; Cas Magnus; Frank Piessens; Jo Van Bulck (USENIX Security Symposium, 2024)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version). - Hans Winderix; Marton Bognar; Lesly-Ann Daniel; Frank Piessens (CoRR, 2024)

Side-Channel Attacks: A Short Tour. - Frank Piessens; Paul C. van Oorschot (IEEE Secur. Priv., 2024)

Hardware Cost Evaluation in Systems Security. - Jesse De Meulemeester; Quinten Norga; Frank Piessens; Ingrid Verbauwhede; Marton Bognar (ACM REP, 2025)

TLBlur: Compiler-Assisted Automated Hardening against Controlled Channels on Off-the-Shelf Intel SGX Platforms. - Daan Vanoverloop; Andrés Sánchez; Flavio Toffalini; Frank Piessens; Mathias Payer; Jo Van Bulck (USENIX Security Symposium, 2025)

AttackDefense Framework (ADF): Enhancing IoT Devices and Lifecycles Threat Modeling. - Tommaso Sacchetti; Marton Bognar; Jesse De Meulemeester; Benedikt Gierlichs; Frank Piessens; Volodymyr Bezsmertnyi; Maria Chiara Molteni; Stefano Cristalli; Arianna Gringiani; Olivier Thomas; Daniele Antonioli (ACM Trans. Embed. Comput. Syst., 2025)