Dominique Devriese
Scholar

Dominique Devriese

Google Scholar ID: 9vEspiUAAAAJ
KU Leuven
Secure CompilationISA security primitivesFormal verificationCapability MachinesDependently-Typed Programming
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
Co-author 1
Co-author 1
Andreas Nuyts
Andreas Nuyts
KU Leuven
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Marco Patrignani
Marco Patrignani
Assistant Professor at University of Trento
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Amin Timany
Amin Timany
Aarhus University