Uninitialized Capabilities. - Sander Huyghebaert; Thomas Van Strydonck; Steven Keuchel; Dominique Devriese (CoRR, 2020)

Efficient and provable local capability revocation using uninitialized capabilities. - Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Sander Huyghebaert; Dominique Devriese; Lars Birkedal (Proc. ACM Program. Lang., 2021)

Verified symbolic execution with Kripke specification monads (and no meta-programming). - Steven Keuchel; Sander Huyghebaert; Georgy Lukyanov; Dominique Devriese (Proc. ACM Program. Lang., 2022)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts. - Sander Huyghebaert; Steven Keuchel; Coen De Roover; Dominique Devriese (CCS, 2023)