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
Publications
4 items
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
2026
Cited
0
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
Co-authors
9 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
Amin Timany
Aarhus University
Stelios Tsampas
Assistant Professor
Nick Nikiforakis
Associate Professor, Stony Brook University
Ilya Sergey
Associate Professor, National University of Singapore
