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

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)

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)

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

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

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

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

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

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)

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)

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)

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)

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

Functional Techniques for Representing and Specifying Software (Functionele technieken voor het voorstellen en specifiëren van software). - Dominique Devriese (2014)

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

On Modular and Fully-Abstract Compilation. - Marco Patrignani; Dominique Devriese; Frank Piessens (CSF, 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)

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

Security Guarantees for the Execution Infrastructure of Software Applications. - Frank Piessens; Dominique Devriese; Jan Tobias Mühlberg; Raoul Strackx (SecDev, 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)

Efficient Functional Reactive Programming Through Incremental Behaviors. - Bob Reynders; Dominique Devriese (APLAS, 2017)

Lifting proof-relevant unification to higher dimensions. - Jesper Cockx; Dominique Devriese (CPP, 2017)

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

Expressive and strongly type-safe code generation. - Thomas Winant; Jesper Cockx; Dominique Devriese (PPDP, 2017)

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

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

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

Parametric quantifiers for dependent type theory. - Andreas Nuyts; Andrea Vezzosi; Dominique Devriese (Proc. ACM Program. Lang., 2017)

Coherent explicit dictionary application for Haskell. - Thomas Winant; Dominique Devriese (Haskell@ICFP, 2018)

Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. - Andreas Nuyts; Dominique Devriese (LICS, 2018)

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

Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof. - Thomas Winant; Dominique Devriese (CoRR, 2018)

StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details. - Lau Skorstengaard; Dominique Devriese; Lars Birkedal (CoRR, 2018)

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. - Jesper Cockx; Dominique Devriese (J. Funct. Program., 2018)

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

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

Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. - Dominique Devriese (Haskell@ICFP, 2019)

How to do proofs: practically proving properties about effectful programs' results (functional pearl). - Koen Jacobs; Andreas Nuyts; Dominique Devriese (TyDe@ICFP, 2019)

Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details. - Lau Skorstengaard; Dominique Devriese; Lars Birkedal (CoRR, 2019)

StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. - Lau Skorstengaard; Dominique Devriese; Lars Birkedal (Proc. ACM Program. Lang., 2019)

Linear capabilities for fully abstract compilation of separation-logic-verified code. - Thomas Van Strydonck; Frank Piessens; Dominique Devriese (Proc. ACM Program. Lang., 2019)

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

Uninitialized Capabilities. - Sander Huyghebaert; Thomas Van Strydonck; Steven Keuchel; Dominique Devriese (CoRR, 2020)

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

Leibniz equality is isomorphic to Martin-Löf identity, parametrically. - Andreas Abel 001; Jesper Cockx; Dominique Devriese; Amin Timany; Philip Wadler (J. Funct. Program., 2020)

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

Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. - Lau Skorstengaard; Dominique Devriese; Lars Birkedal (ACM Trans. Program. Lang. Syst., 2020)

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)

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. - Thijs Vercammen; Thomas Van Strydonck; Dominique Devriese (EuroS&P Workshops, 2021)

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

Efficient and provable local capability revocation using uninitialized capabilities. - Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Sander Huyghebaert; Dominique Devriese; Lars Birkedal (Proc. ACM Program. Lang., 2021)

Fully abstract from static to gradual. - Koen Jacobs; Amin Timany; Dominique Devriese (Proc. ACM Program. Lang., 2021)

On the semantic expressiveness of recursive types. - Marco Patrignani; Eric Mark Martin; Dominique Devriese (Proc. ACM Program. Lang., 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)

Sikkel: Multimode Simple Type Theory as an Agda Library. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (MSFP@ETAPS, 2022)

Purity of an ST monad: full abstraction by semantically typed back-translation. - Koen Jacobs; Dominique Devriese; Amin Timany (Proc. ACM Program. Lang., 2022)

Verified symbolic execution with Kripke specification monads (and no meta-programming). - Steven Keuchel; Sander Huyghebaert; Georgy Lukyanov; Dominique Devriese (Proc. ACM Program. Lang., 2022)

Plausible sealing for gradual parametricity. - Elizabeth Labrada; Matías Toro; Éric Tanter; Dominique Devriese (Proc. ACM Program. Lang., 2022)

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

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. - Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese (CCS, 2023)

$ pi_{ mathbf{RA}}$: A $ pi text{-calculus}$ for Verifying Protocols that Use Remote Attestation. - Emiel Lanckriet; Matteo Busi 001; Dominique Devriese (CSF, 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)

A Sound and Complete Substitution Algorithm for Multimode Type Theory. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (TYPES, 2023)

A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (CoRR, 2024)

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. - Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal (J. ACM, 2024)

On the Semantic Expressiveness of Iso- and Equi-Recursive Types. - Dominique Devriese; Eric Mark Martin; Marco Patrignani (Log. Methods Comput. Sci., 2024)

Transpension: The Right Adjoint to the Pi-type. - Andreas Nuyts; Dominique Devriese (Log. Methods Comput. Sci., 2024)

Internal and Observational Parametricity for Cubical Agda. - Antoine Van Muylder; Andreas Nuyts; Dominique Devriese (Proc. ACM Program. Lang., 2024)

BiSikkel: A Multimode Logical Framework in Agda. - Joris Ceulemans; Andreas Nuyts; Dominique Devriese (Proc. ACM Program. Lang., 2025)