Dominique Devriese

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 64

Top Venues

CoRR

Proc. ACM Program. Lang.

CSF

J. Funct. Program.

Katholieke Universiteit Leuven, Belgium (PHD)

Education History

Katholieke Universiteit Leuven, Belgium

PHD

Publications

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM 71 (1) (2024)
Andreas Nuyts, Dominique Devriese
Transpension: The Right Adjoint to the Pi-type. Log. Methods Comput. Sci. 20 (2) (2024)
Antoine Van Muylder, Andreas Nuyts, Dominique Devriese
Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang. 8 (POPL) (2024)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report. CoRR (2024)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
A Sound and Complete Substitution Algorithm for Multimode Type Theory. TYPES (2023)
Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CoRR (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)
Emiel Lanckriet, Matteo Busi, Dominique Devriese
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. CSF (2023)
Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CCS (2023)
Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Sikkel: Multimode Simple Type Theory as an Agda Library. MSFP@ETAPS (2022)
Koen Jacobs, Dominique Devriese, Amin Timany
Purity of an ST monad: full abstraction by semantically typed back-translation. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
Plausible sealing for gradual parametricity. Proc. ACM Program. Lang. 6 (OOPSLA) (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)
Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese
Verified symbolic execution with Kripke specification monads (and no meta-programming). Proc. ACM Program. Lang. 6 (ICFP) (2022)
Dominique Devriese, Marco Patrignani, Frank Piessens
Two Parametricities Versus Three Universal Types. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Thomas Van Strydonck, Frank Piessens, Dominique Devriese
Linear capabilities for fully abstract compilation of separation-logic-verified code. J. Funct. Program. 31 (2021)
Koen Jacobs, Amin Timany, Dominique Devriese
Fully abstract from static to gradual. Proc. ACM Program. Lang. 5 (POPL) (2021)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Marco Patrignani, Eric Mark Martin, Dominique Devriese
On the semantic expressiveness of recursive types. Proc. ACM Program. Lang. 5 (POPL) (2021)
Thijs Vercammen, Thomas Van Strydonck, Dominique Devriese
Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. EuroS&P Workshops (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)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. J. Funct. Program. 31 (2021)
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. MFCS (2021)
Andreas Nuyts, Dominique Devriese
Transpension: The Right Adjoint to the Pi-type. CoRR (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A categorical approach to secure compilation. CoRR (2020)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. ACM Trans. Program. Lang. Syst. 42 (1) (2020)
Marco Patrignani, Eric Mark Martin, Dominique Devriese
On the Semantic Expressiveness of Recursive Types. CoRR (2020)
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. CoRR (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)
Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30 (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)
Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese
Uninitialized Capabilities. CoRR (2020)
Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens
A Categorical Approach to Secure Compilation. CMCS (2020)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Proc. ACM Program. Lang. 3 (POPL) (2019)
Dominique Devriese
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. Haskell@ICFP (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)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details. CoRR (2019)
Stelios Tsampas, Dominique Devriese, Frank Piessens
Temporal Safety for Stack Allocated Memory on Capability Machines. CSF (2019)
Koen Jacobs, Andreas Nuyts, Dominique Devriese
How to do proofs: practically proving properties about effectful programs' results (functional pearl). TyDe@ICFP (2019)
Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. Programming (2018)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. ESOP (2018)
Jesper Cockx, Dominique Devriese
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. J. Funct. Program. 28 (2018)
Andreas Nuyts, Dominique Devriese
Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. LICS (2018)
Dominique Devriese, Marco Patrignani, Frank Piessens
Parametricity versus the universal type. Proc. ACM Program. Lang. 2 (POPL) (2018)
Lau Skorstengaard, Dominique Devriese, Lars Birkedal
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details. CoRR (2018)
Thomas Winant, Dominique Devriese
Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof. CoRR (2018)
Thomas Winant, Dominique Devriese
Coherent explicit dictionary application for Haskell. Haskell@ICFP (2018)
Bob Reynders, Dominique Devriese
Efficient Functional Reactive Programming Through Incremental Behaviors. APLAS (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)
Jesper Cockx, Dominique Devriese
Lifting proof-relevant unification to higher dimensions. CPP (2017)
Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. TFP (2017)
Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
FRP IoT modules as a Scala DSL. REBLS@SPLASH (2017)
Thomas Winant, Jesper Cockx, Dominique Devriese
Expressive and strongly type-safe code generation. PPDP (2017)
Andreas Nuyts, Andrea Vezzosi, Dominique Devriese
Parametric quantifiers for dependent type theory. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Bob Reynders, Dominique Devriese, Frank Piessens
Experience Report: Functional Reactive Programming and the DOM. Programming (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)
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)
Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx
Security Guarantees for the Execution Infrastructure of Software Applications. SecDev (2016)
Jesper Cockx, Dominique Devriese, Frank Piessens
Eliminating dependent pattern matching without K. J. Funct. Program. 26 (2016)
Dominique Devriese, Marco Patrignani, Frank Piessens
Fully-abstract compilation by approximate back-translation. POPL (2016)
Bob Reynders, Dominique Devriese, Frank Piessens
Generating safe boundary APIs between typed EDSLs and their environments. GPCE (2015)
Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
Partial Type Signatures for Haskell. PADL (2014)
Bob Reynders, Dominique Devriese, Frank Piessens
Multi-Tier Functional Reactive Programming for the Web. Onward! (2014)
Jesper Cockx, Dominique Devriese, Frank Piessens
Pattern matching without K. ICFP (2014)
Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens
Secure multi-execution of web scripts: Theory and practice. J. Comput. Secur. 22 (4) (2014)
Jesper Cockx, Frank Piessens, Dominique Devriese
Overlapping and Order-Independent Patterns - Definitional Equality for All. ESOP (2014)
Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk
Stateful Declassification Policies for Event-Driven Programs. CSF (2014)
Dominique Devriese, Frank Piessens
Typed syntactic meta-programming. ICFP (2013)
Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens
Information Flow Control for Web Scripts. FOSAD (2013)
Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens
Fixing idioms: a recursion primitive for applicative DSLs. PEPM (2013)
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
Monadic abstract interpreters. PLDI (2013)
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE (2012)
Tom Reynaert, Willem De Groef, Dominique Devriese, Lieven Desmet, Frank Piessens
PESAP: A Privacy Enhanced Social Application Platform. SocialCom/PASSAT (2012)
Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens
FlowFox: a web browser with flexible and precise information flow control. CCS (2012)
Dominique Devriese, Frank Piessens
Finally tagless observable recursion for an abstract grammar model. J. Funct. Program. 22 (6) (2012)
Willem De Groef, Dominique Devriese, Frank Piessens
Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation. Formal Aspects in Security and Trust (2011)
Dominique Devriese, Frank Piessens
On the bright side of type classes: instance arguments in Agda. ICFP (2011)
Dominique Devriese, Frank Piessens
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. PADL (2011)
Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens
Reactive non-interference for a browser model. NSS (2011)
Dominique Devriese, Frank Piessens
Information flow enforcement in monadic libraries. TLDI (2011)
Dominique Devriese, Frank Piessens
Noninterference through Secure Multi-execution. IEEE Symposium on Security and Privacy (2010)

Dominique Devriese.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominique Devriese