Scholar
Dominique Devriese
Google Scholar ID: 9vEspiUAAAAJ
KU Leuven
Secure Compilation
ISA security primitives
Formal verification
Capability Machines
Dependently-Typed Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,288
H-index
25
i10-index
50
Publications
20
Co-authors
46
list available
Contact
No contact links provided.
Publications
3 items
Cerisier: A Program Logic for Attestation in a Capability Machine
2026
Cited
0
Nominal Type Theory by Nullary Internal Parametricity
2025
Cited
0
Towards Computational UIP in Cubical Agda
2025
Cited
0
Resume (English only)
Co-authors
46 total
Frank Piessens
Professor of Computer Science, Katholieke Universiteit Leuven
Andreas Nuyts
KU Leuven
Lars Birkedal
Dept. of Computer Science, Aarhus University
Marco Patrignani
Assistant Professor at University of Trento
Co-author 5
Co-author 6
Co-author 7
Amin Timany
Aarhus University
