Projects per year
Personal profile
Expertise
My research interests are somewhat varied. I work on formalising properties of object-oriented and object-capability programming languages, specifically a property called effect parametricity. My work on formal reasoning about capability machines (CPUs with a built-in form of low-level object capabilities). I am also interested in secure compilation and full abstraction properties and applying logical relations to prove them. Furthermore, I work on functional and dependently typed programming and programming languages. I have worked on a Haskell parsing library called grammar-combinators and have added instance arguments to the programming language/proof assistant Agda. In the past, I have also worked on information flow security, in particular a dynamic enforcement technique called secure multi-execution.
Fingerprint
- 6 Similar Profiles
Network
Projects
- 8 Active
-
AIIFUND63: From Secure Compilation to Secure Abstraction Stronger Foundations and New Connections.
15/11/20 → 14/11/25
Project: Fundamental
-
FWOTM1028: Parametricity in Type Theory: Language Primitives and Application
Van Muylder, A. & Devriese, D.
1/11/20 → 31/10/22
Project: Fundamental
-
FWOAL955: Actors you can trust: a high-level language abstraction for remote attestation and how to securely compile it
Devriese, D. & Scholliers, C.
1/01/20 → 31/12/23
Project: Fundamental
-
-
VLAAI2: Subsidie Onderzoeksprogramma "Cybersecurity Initiative Flanders"
De Meuter, W., Devriese, D., Gonzalez Boix, E. & De Roover, C.
1/09/19 → 31/08/21
Project: Applied
Research output
-
Cap’ ou pas cap’ ? Preuve de programmes pour une machine à capacités en présence de code inconnu
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L., 7 Apr 2021, Journées Francophones des Langages Applicatifs 2021. Institut de Recherche en Informatique Fondamentale, 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile8 Downloads (Pure) -
Efficient and provable local capability revocation using uninitialized capabilities
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L., 4 Jan 2021, In : Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-30 30 p., 6.Research output: Contribution to journal › Article
Open AccessFile3 Downloads (Pure) -
Fully abstract from static to gradual
Jacobs, K., Timany, A. & Devriese, D., 4 Jan 2021, In : Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-30 30 p., 7.Research output: Contribution to journal › Article
Open AccessFile3 Downloads (Pure) -
Linear capabilities for fully abstract compilation of separation-logic-verified code
THOMAS, VAN. STRYDONCK., FRANK, PIESSENS. & DOMINIQUE, DEVRIESE., 30 Mar 2021, In : Journal of Functional Programming. 31, e6, p. 1-55 55 p.Research output: Contribution to journal › Article
Open AccessFile2 Downloads (Pure) -
On the semantic expressiveness of recursive types
Patrignani, M., Martin, E. M. & Devriese, D., 4 Jan 2021, In : Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-29 29 p., 21.Research output: Contribution to journal › Article
Open AccessFile5 Downloads (Pure)
Prizes
-
EAPLS PhD Disseration Award 2017/18
Jesper Cockx (Recipient), Dominique Devriese (Recipient) & Frank Piessens (Recipient), 18 Dec 2018
Prize: Prize (including medals and awards)
Activities
-
Katamaran: semi-automated verification of ISA specifications
Steven Keuchel (Speaker), Dominique Devriese (Contributor), Georgy Lukyanov (Contributor)16 Jun 2020Activity: Talk or presentation › Talk or presentation at a workshop/seminar
File -
Georgy Lukyanov
Dominique Devriese (Host)10 Feb 2020 → 16 Mar 2020Activity: Hosting a visitor › Hosting an academic visitor
-
Eric Tanter
Dominique Devriese (Host)10 Oct 2019 → 11 Oct 2019Activity: Hosting a visitor › Hosting an academic visitor
-
Research Visit to Cambridge University
Dominique Devriese (Participant), Thomas Van Strydonck (Participant), Peter Sewell (Recipient)18 Mar 2019 → 20 Mar 2019Activity: Other
-
Research Visit on Capability Machine Reasoning
Dominique Devriese (Participant), Steven Keuchel (Participant), Thomas Van Strydonck (Participant), Lars Birkedal (Organiser)26 Nov 2019 → 28 Nov 2019Activity: Other