![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Dominique Devriese
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j24]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): 3:1-3:59 (2024) - [j23]Andreas Nuyts
, Dominique Devriese
:
Transpension: The Right Adjoint to the Pi-type. Log. Methods Comput. Sci. 20(2) (2024) - [j22]Antoine Van Muylder
, Andreas Nuyts
, Dominique Devriese
:
Internal and Observational Parametricity for Cubical Agda. Proc. ACM Program. Lang. 8(POPL): 209-240 (2024) - [i14]Joris Ceulemans, Andreas Nuyts, Dominique Devriese:
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report. CoRR abs/2406.13622 (2024) - 2023
- [c47]Sander Huyghebaert
, Steven Keuchel
, Coen De Roover
, Dominique Devriese
:
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CCS 2023: 2083-2097 - [c46]Emiel Lanckriet
, Matteo Busi
, Dominique Devriese
:
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation. CSF 2023: 537-551 - [c45]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: 1143-1159 - [c44]Joris Ceulemans, Andreas Nuyts, Dominique Devriese:
A Sound and Complete Substitution Algorithm for Multimode Type Theory. TYPES 2023: 4:1-4:23 - [i13]Sander Huyghebaert, Steven Keuchel, Coen De Roover
, Dominique Devriese:
Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. CoRR abs/2306.05128 (2023) - 2022
- [j21]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): 194-224 (2022) - [j20]Koen Jacobs
, Dominique Devriese
, Amin Timany
:
Purity of an ST monad: full abstraction by semantically typed back-translation. Proc. ACM Program. Lang. 6(OOPSLA1): 1-27 (2022) - [j19]Elizabeth Labrada
, Matías Toro
, Éric Tanter
, Dominique Devriese
:
Plausible sealing for gradual parametricity. Proc. ACM Program. Lang. 6(OOPSLA1): 1-28 (2022) - [j18]Dominique Devriese
, Marco Patrignani
, Frank Piessens
:
Two Parametricities Versus Three Universal Types. ACM Trans. Program. Lang. Syst. 44(4): 23:1-23:43 (2022) - [c43]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: 80-95 - [c42]Joris Ceulemans
, Andreas Nuyts
, Dominique Devriese
:
Sikkel: Multimode Simple Type Theory as an Agda Library. MSFP@ETAPS 2022: 93-112 - 2021
- [j17]Thomas Van Strydonck
, Frank Piessens, Dominique Devriese
:
Linear capabilities for fully abstract compilation of separation-logic-verified code. J. Funct. Program. 31: e6 (2021) - [j16]Lau Skorstengaard, Dominique Devriese
, Lars Birkedal:
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities. J. Funct. Program. 31: e9 (2021) - [j15]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): 1-30 (2021) - [j14]Koen Jacobs
, Amin Timany
, Dominique Devriese
:
Fully abstract from static to gradual. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - [j13]Marco Patrignani
, Eric Mark Martin, Dominique Devriese
:
On the semantic expressiveness of recursive types. Proc. ACM Program. Lang. 5(POPL): 1-29 (2021) - [c41]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: 1-16 - [c40]Thijs Vercammen
, Thomas Van Strydonck, Dominique Devriese
:
Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. EuroS&P Workshops 2021: 80-85 - [c39]Stelios Tsampas
, Christian Williams, Andreas Nuyts
, Dominique Devriese
, Frank Piessens:
Abstract Congruence Criteria for Weak Bisimilarity. MFCS 2021: 88:1-88:23 - 2020
- [j12]Andreas Abel, Jesper Cockx
, Dominique Devriese
, Amin Timany
, Philip Wadler:
Leibniz equality is isomorphic to Martin-Löf identity, parametrically. J. Funct. Program. 30: e17 (2020) - [j11]Bob Reynders, Frank Piessens, Dominique Devriese
:
Gavial: Programming the web with multi-tier FRP. Art Sci. Eng. Program. 4(3): 6 (2020) - [j10]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): 5:1-5:53 (2020) - [c38]Stelios Tsampas
, Andreas Nuyts
, Dominique Devriese
, Frank Piessens
:
A Categorical Approach to Secure Compilation. CMCS 2020: 155-179 - [i12]Bob Reynders, Frank Piessens, Dominique Devriese:
Gavial: Programming the web with multi-tier FRP. CoRR abs/2002.06188 (2020) - [i11]Stelios Tsampas, Andreas Nuyts, Dominique Devriese, Frank Piessens:
A categorical approach to secure compilation. CoRR abs/2004.03557 (2020) - [i10]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 abs/2005.05944 (2020) - [i9]Sander Huyghebaert
, Thomas Van Strydonck, Steven Keuchel
, Dominique Devriese:
Uninitialized Capabilities. CoRR abs/2006.01608 (2020) - [i8]Andreas Nuyts, Dominique Devriese:
Transpension: The Right Adjoint to the Pi-type. CoRR abs/2008.08533 (2020) - [i7]Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens:
Abstract Congruence Criteria for Weak Bisimilarity. CoRR abs/2010.07899 (2020) - [i6]Marco Patrignani, Eric Mark Martin, Dominique Devriese:
On the Semantic Expressiveness of Recursive Types. CoRR abs/2010.10859 (2020)
2010 – 2019
- 2019
- [j9]Thomas Van Strydonck, Frank Piessens, Dominique Devriese
:
Linear capabilities for fully abstract compilation of separation-logic-verified code. Proc. ACM Program. Lang. 3(ICFP): 84:1-84:29 (2019) - [j8]Lau Skorstengaard, Dominique Devriese
, Lars Birkedal:
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities. Proc. ACM Program. Lang. 3(POPL): 19:1-19:28 (2019) - [c37]Stelios Tsampas
, Dominique Devriese
, Frank Piessens:
Temporal Safety for Stack Allocated Memory on Capability Machines. CSF 2019: 243-255 - [c36]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: 1-14 - [c35]Koen Jacobs
, Andreas Nuyts
, Dominique Devriese
:
How to do proofs: practically proving properties about effectful programs' results (functional pearl). TyDe@ICFP 2019: 1-13 - [i5]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 abs/1902.05283 (2019) - 2018
- [j7]Jesper Cockx, Dominique Devriese
:
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory. J. Funct. Program. 28: e12 (2018) - [j6]Dominique Devriese
, Marco Patrignani
, Frank Piessens:
Parametricity versus the universal type. Proc. ACM Program. Lang. 2(POPL): 38:1-38:23 (2018) - [c34]Lau Skorstengaard, Dominique Devriese
, Lars Birkedal:
Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management. ESOP 2018: 475-501 - [c33]Thomas Winant, Dominique Devriese
:
Coherent explicit dictionary application for Haskell. Haskell@ICFP 2018: 81-93 - [c32]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: 779-788 - [c31]Bob Reynders, Michael Greefs, Dominique Devriese
, Frank Piessens:
Scalagna 0.1: towards multi-tier programming with Scala and Scala.js. Programming 2018: 69-74 - [i4]Thomas Winant, Dominique Devriese:
Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof. CoRR abs/1807.11267 (2018) - [i3]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 abs/1811.02787 (2018) - 2017
- [j5]Dominique Devriese
, Marco Patrignani
, Frank Piessens, Steven Keuchel
:
Modular, Fully-abstract Compilation by Approximate Back-translation. Log. Methods Comput. Sci. 13(4) (2017) - [j4]Andreas Nuyts
, Andrea Vezzosi
, Dominique Devriese
:
Parametric quantifiers for dependent type theory. Proc. ACM Program. Lang. 1(ICFP): 32:1-32:29 (2017) - [c30]Bob Reynders, Dominique Devriese
:
Efficient Functional Reactive Programming Through Incremental Behaviors. APLAS 2017: 321-338 - [c29]Jesper Cockx
, Dominique Devriese
:
Lifting proof-relevant unification to higher dimensions. CPP 2017: 173-181 - [c28]Ben Calus, Bob Reynders, Dominique Devriese
, Job Noorman, Frank Piessens:
FRP IoT modules as a Scala DSL. REBLS@SPLASH 2017: 15-20 - [c27]Thomas Winant, Jesper Cockx
, Dominique Devriese
:
Expressive and strongly type-safe code generation. PPDP 2017: 199-210 - [c26]Bob Reynders, Dominique Devriese
, Frank Piessens:
Experience Report: Functional Reactive Programming and the DOM. Programming 2017: 23:1-23:6 - [c25]Jeff Horemans, Bob Reynders, Dominique Devriese
, Frank Piessens:
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger. TFP 2017: 79-97 - [i2]Dominique Devriese, Marco Patrignani, Frank Piessens, Steven Keuchel
:
Modular, Fully-abstract Compilation by Approximate Back-translation. CoRR abs/1703.09988 (2017) - 2016
- [j3]Jesper Cockx
, Dominique Devriese
, Frank Piessens:
Eliminating dependent pattern matching without K. J. Funct. Program. 26: e16 (2016) - [c24]Marco Patrignani
, Dominique Devriese
, Frank Piessens:
On Modular and Fully-Abstract Compilation. CSF 2016: 17-30 - [c23]Dominique Devriese
, Lars Birkedal, Frank Piessens:
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. EuroS&P 2016: 147-162 - [c22]Jesper Cockx
, Dominique Devriese
, Frank Piessens:
Unifiers as equivalences: proof-relevant unification of dependently typed data. ICFP 2016: 270-283 - [c21]Dominique Devriese
, Marco Patrignani
, Frank Piessens:
Fully-abstract compilation by approximate back-translation. POPL 2016: 164-177 - [c20]Frank Piessens, Dominique Devriese
, Jan Tobias Mühlberg
, Raoul Strackx:
Security Guarantees for the Execution Infrastructure of Software Applications. SecDev 2016: 81-87 - [i1]Marco Patrignani, Dominique Devriese, Frank Piessens:
On Modular and Fully-Abstract Compilation - Technical Appendix. CoRR abs/1604.05044 (2016) - 2015
- [c19]Bob Reynders, Dominique Devriese
, Frank Piessens:
Generating safe boundary APIs between typed EDSLs and their environments. GPCE 2015: 31-34 - 2014
- [b1]Dominique Devriese:
Functional Techniques for Representing and Specifying Software (Functionele technieken voor het voorstellen en specifiëren van software). Katholieke Universiteit Leuven, Belgium, 2014 - [j2]Willem De Groef, Dominique Devriese
, Nick Nikiforakis, Frank Piessens:
Secure multi-execution of web scripts: Theory and practice. J. Comput. Secur. 22(4): 469-509 (2014) - [c18]Mathy Vanhoef
, Willem De Groef, Dominique Devriese
, Frank Piessens, Tamara Rezk:
Stateful Declassification Policies for Event-Driven Programs. CSF 2014: 293-307 - [c17]Jesper Cockx
, Frank Piessens, Dominique Devriese
:
Overlapping and Order-Independent Patterns - Definitional Equality for All. ESOP 2014: 87-106 - [c16]Jesper Cockx
, Dominique Devriese
, Frank Piessens:
Pattern matching without K. ICFP 2014: 257-268 - [c15]Bob Reynders, Dominique Devriese
, Frank Piessens:
Multi-Tier Functional Reactive Programming for the Web. Onward! 2014: 55-68 - [c14]Thomas Winant, Dominique Devriese
, Frank Piessens, Tom Schrijvers
:
Partial Type Signatures for Haskell. PADL 2014: 17-32 - 2013
- [c13]Willem De Groef, Dominique Devriese
, Mathy Vanhoef, Frank Piessens:
Information Flow Control for Web Scripts. FOSAD 2013: 124-145 - [c12]Dominique Devriese
, Frank Piessens:
Typed syntactic meta-programming. ICFP 2013: 73-86 - [c11]Dominique Devriese
, Ilya Sergey
, Dave Clarke, Frank Piessens:
Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106 - [c10]Ilya Sergey
, Dominique Devriese
, Matthew Might, Jan Midtgaard
, David Darais, Dave Clarke, Frank Piessens:
Monadic abstract interpreters. PLDI 2013: 399-410 - 2012
- [j1]Dominique Devriese
, Frank Piessens:
Finally tagless observable recursion for an abstract grammar model. J. Funct. Program. 22(6): 757-796 (2012) - [c9]Willem De Groef, Dominique Devriese
, Nick Nikiforakis, Frank Piessens:
FlowFox: a web browser with flexible and precise information flow control. CCS 2012: 748-759 - [c8]Gilles Barthe, Juan Manuel Crespo, Dominique Devriese
, Frank Piessens, Exequiel Rivas
:
Secure Multi-Execution through Static Program Transformation. FMOODS/FORTE 2012: 186-202 - [c7]Tom Reynaert, Willem De Groef, Dominique Devriese
, Lieven Desmet
, Frank Piessens:
PESAP: A Privacy Enhanced Social Application Platform. SocialCom/PASSAT 2012: 827-833 - 2011
- [c6]Dominique Devriese
, Frank Piessens:
On the bright side of type classes: instance arguments in Agda. ICFP 2011: 143-155 - [c5]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: 21-38 - [c4]Nataliia Bielova
, Dominique Devriese
, Fabio Massacci
, Frank Piessens:
Reactive non-interference for a browser model. NSS 2011: 97-104 - [c3]Dominique Devriese
, Frank Piessens:
Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. PADL 2011: 84-98 - [c2]Dominique Devriese
, Frank Piessens:
Information flow enforcement in monadic libraries. TLDI 2011: 59-72 - 2010
- [c1]Dominique Devriese
, Frank Piessens:
Noninterference through Secure Multi-execution. IEEE Symposium on Security and Privacy 2010: 109-124
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint