Dominique Devriese
Orcid: 0000-0002-3862-6856
According to our database1,
Dominique Devriese
authored at least 79 papers
between 2010 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
1
5
4
3
5
3
4
2
2
1
1
4
2
3
1
3
3
6
5
1
5
4
3
5
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
2024
Proc. ACM Program. Lang., January, 2024
Log. Methods Comput. Sci., 2024
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
J. ACM, 2024
A Sound and Complete Substitution Algorithm for Multimode Type Theory: Technical Report.
CoRR, 2024
2023
Proceedings of the 29th International Conference on Types for Proofs and Programs, 2023
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.
Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2022
ACM Trans. Program. Lang. Syst., December, 2022
Verified symbolic execution with Kripke specification monads (and no meta-programming).
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022
Proving full-system security properties under multiple attacker models on capability machines.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization.
Dataset, September, 2021
Proc. ACM Program. Lang., 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
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.
ACM Trans. Program. Lang. Syst., 2020
J. Funct. Program., 2020
Proceedings of the Coalgebraic Methods in Computer Science, 2020
2019
Linear capabilities for fully abstract compilation of separation-logic-verified code.
Proc. ACM Program. Lang., 2019
StkTokens: enforcing well-bracketed control flow and stack encapsulation using linear capabilities.
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.
CoRR, 2019
How to do proofs: practically proving properties about effectful programs' results (functional pearl).
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.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
2018
Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory.
J. Funct. Program., 2018
StkTokens: Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities - Technical Report with Proofs and Details.
CoRR, 2018
Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.
CoRR, 2018
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.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018
2017
Log. Methods Comput. Sci., 2017
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017
Proceedings of the Companion to the first International Conference on the Art, 2017
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
2016
Proceedings of the IEEE Cybersecurity Development, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the IEEE European Symposium on Security and Privacy, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2015
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).
PhD thesis, 2014
Proceedings of the Practical Aspects of Declarative Languages, 2014
Proceedings of the Onward! 2014, 2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
Proceedings of the Programming Languages and Systems, 2014
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the Foundations of Security Analysis and Design VII, 2013
2012
J. Funct. Program., 2012
Proceedings of the 2012 International Conference on Privacy, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the ACM Conference on Computer and Communications Security, 2012
2011
Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
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.
Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010