Dominique Devriese

According to our database, Dominique Devriese authored at least 74 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Internal and Observational Parametricity for Cubical Agda.

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese

Proc. ACM Program. Lang., January, 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

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

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation.

Emiel Lanckriet, Matteo Busi, Dominique Devriese

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts.

Sander Huyghebaert, Steven Keuchel, Coen De Roover, Dominique Devriese

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Two Parametricities Versus Three Universal Types.

Dominique Devriese, Marco Patrignani, Frank Piessens

ACM Trans. Program. Lang. Syst., December, 2022

Plausible sealing for gradual parametricity.

Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese

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

Purity of an ST monad: full abstraction by semantically typed back-translation.

Koen Jacobs, Dominique Devriese, Amin Timany

Proc. ACM Program. Lang., 2022

Sikkel: Multimode Simple Type Theory as an Agda Library.

Joris Ceulemans, Andreas Nuyts, Dominique Devriese

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

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

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

On the semantic expressiveness of recursive types.

Marco Patrignani, Eric Mark Martin, Dominique Devriese

Proc. ACM Program. Lang., 2021

Fully abstract from static to gradual.

Koen Jacobs, Amin Timany, Dominique Devriese

Proc. ACM Program. Lang., 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

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture.

Thijs Vercammen, Thomas Van Strydonck, Dominique Devriese

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.

Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

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

Gavial: Programming the web with multi-tier FRP.

Bob Reynders, Frank Piessens, Dominique Devriese

Art Sci. Eng. Program., 2020

Leibniz equality is isomorphic to Martin-Löf identity, parametrically.

Andreas Abel, Jesper Cockx, Dominique Devriese, Amin Timany, Philip Wadler

J. Funct. Program., 2020

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

CoRR, 2020

Transpension: The Right Adjoint to the Pi-type.

Andreas Nuyts, Dominique Devriese

CoRR, 2020

Uninitialized Capabilities.

Sander Huyghebaert, Thomas Van Strydonck, Steven Keuchel, Dominique Devriese

CoRR, 2020

A Categorical Approach to Secure Compilation.

Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

Linear capabilities for fully abstract compilation of separation-logic-verified code.

Thomas Van Strydonck, Frank Piessens, Dominique Devriese

Proc. ACM Program. Lang., 2019

StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities.

Lau Skorstengaard, Dominique Devriese, Lars Birkedal

Proc. ACM Program. Lang., 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

How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen Jacobs, Andreas Nuyts, Dominique Devriese

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, 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

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

Temporal Safety for Stack Allocated Memory on Capability Machines.

Stelios Tsampas, Dominique Devriese, Frank Piessens

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Parametricity versus the universal type.

Dominique Devriese, Marco Patrignani, Frank Piessens

Proc. ACM Program. Lang., 2018

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory.

Jesper Cockx, Dominique Devriese

J. Funct. Program., 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

Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.

Thomas Winant, Dominique Devriese

CoRR, 2018

Scalagna 0.1: towards multi-tier programming with Scala and Scala.js.

Bob Reynders, Michael Greefs, Dominique Devriese, Frank Piessens

Proceedings of the Conference Companion of the 2nd International Conference on Art, 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

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Coherent explicit dictionary application for Haskell.

Thomas Winant, Dominique Devriese

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Parametric quantifiers for dependent type theory.

Andreas Nuyts, Andrea Vezzosi, Dominique Devriese

Proc. ACM Program. Lang., 2017

Modular, Fully-abstract Compilation by Approximate Back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel

Log. Methods Comput. Sci., 2017

Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger.

Jeff Horemans, Bob Reynders, Dominique Devriese, Frank Piessens

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Experience Report: Functional Reactive Programming and the DOM.

Bob Reynders, Dominique Devriese, Frank Piessens

Proceedings of the Companion to the first International Conference on the Art, 2017

Expressive and strongly type-safe code generation.

Thomas Winant, Jesper Cockx, Dominique Devriese

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

FRP IoT modules as a Scala DSL.

Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

Lifting proof-relevant unification to higher dimensions.

Jesper Cockx, Dominique Devriese

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

Efficient Functional Reactive Programming Through Incremental Behaviors.

Bob Reynders, Dominique Devriese

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Eliminating dependent pattern matching without K.

Jesper Cockx, Dominique Devriese, Frank Piessens

J. Funct. Program., 2016

On Modular and Fully-Abstract Compilation - Technical Appendix.

Marco Patrignani, Dominique Devriese, Frank Piessens

CoRR, 2016

Security Guarantees for the Execution Infrastructure of Software Applications.

Frank Piessens, Dominique Devriese, Jan Tobias Mühlberg, Raoul Strackx

Proceedings of the IEEE Cybersecurity Development, 2016

Fully-abstract compilation by approximate back-translation.

Dominique Devriese, Marco Patrignani, Frank Piessens

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Unifiers as equivalences: proof-relevant unification of dependently typed data.

Jesper Cockx, Dominique Devriese, Frank Piessens

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Reasoning about Object Capabilities with Logical Relations and Effect Parametricity.

Dominique Devriese, Lars Birkedal, Frank Piessens

Proceedings of the IEEE European Symposium on Security and Privacy, 2016

On Modular and Fully-Abstract Compilation.

Marco Patrignani, Dominique Devriese, Frank Piessens

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Generating safe boundary APIs between typed EDSLs and their environments.

Bob Reynders, Dominique Devriese, Frank Piessens

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014

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

Dominique Devriese

PhD thesis, 2014

Secure multi-execution of web scripts: Theory and practice.

Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens

J. Comput. Secur., 2014

Partial Type Signatures for Haskell.

Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2014

Multi-Tier Functional Reactive Programming for the Web.

Bob Reynders, Dominique Devriese, Frank Piessens

Proceedings of the Onward! 2014, 2014

Pattern matching without K.

Jesper Cockx, Dominique Devriese, Frank Piessens

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Overlapping and Order-Independent Patterns - Definitional Equality for All.

Jesper Cockx, Frank Piessens, Dominique Devriese

Proceedings of the Programming Languages and Systems, 2014

Stateful Declassification Policies for Event-Driven Programs.

Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Monadic abstract interpreters.

Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Fixing idioms: a recursion primitive for applicative DSLs.

Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

Typed syntactic meta-programming.

Dominique Devriese, Frank Piessens

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Information Flow Control for Web Scripts.

Willem De Groef, Dominique Devriese, Mathy Vanhoef, Frank Piessens

Proceedings of the Foundations of Security Analysis and Design VII, 2013

2012

Finally tagless observable recursion for an abstract grammar model.

Dominique Devriese, Frank Piessens

J. Funct. Program., 2012

PESAP: A Privacy Enhanced Social Application Platform.

Tom Reynaert, Willem De Groef, Dominique Devriese, Lieven Desmet, Frank Piessens

Proceedings of the 2012 International Conference on Privacy, 2012

Secure Multi-Execution through Static Program Transformation.

Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas

Proceedings of the Formal Techniques for Distributed Systems, 2012

FlowFox: a web browser with flexible and precise information flow control.

Willem De Groef, Dominique Devriese, Nick Nikiforakis, Frank Piessens

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Information flow enforcement in monadic libraries.

Dominique Devriese, Frank Piessens

Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011

Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs.

Dominique Devriese, Frank Piessens

Proceedings of the Practical Aspects of Declarative Languages, 2011

Reactive non-interference for a browser model.

Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens

Proceedings of the 5th International Conference on Network and System Security, 2011

Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation.

Willem De Groef, Dominique Devriese, Frank Piessens

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

On the bright side of type classes: instance arguments in Agda.

Dominique Devriese, Frank Piessens

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Noninterference through Secure Multi-execution.

Dominique Devriese, Frank Piessens

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010