Linear capabilities for fully abstract compilation of separation-logic-verified code. - Thomas Van Strydonck; Frank Piessens; Dominique Devriese (Proc. ACM Program. Lang., 2019)

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

Borrowed Capabilities: Flexibly Enforcing Revocation on a Capability Architecture. - Thijs Vercammen; Thomas Van Strydonck; Dominique Devriese (EuroS&P Workshops, 2021)

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)

Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization. - Thomas Van Strydonck; Aïna Linn Georges; Armaël Guéneau; Alix Trieu; Amin Timany; Frank Piessens; Lars Birkedal; Dominique Devriese (Zenodo, 2021)

Proving full-system security properties under multiple attacker models on capability machines. - Thomas Van Strydonck; Aïna Linn Georges; Armaël Guéneau; Alix Trieu; Amin Timany; Frank Piessens; Lars Birkedal; Dominique Devriese (CSF, 2022)

CHERI-TrEE: Flexible enclaves on capability machines. - Thomas Van Strydonck; Job Noorman; Jennifer Jackson; Leonardo Alves Dias; Robin Vanderstraeten; David F. Oswald; Frank Piessens; Dominique Devriese (EuroS&P, 2023)

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. - Aïna Linn Georges; Armaël Guéneau; Thomas Van Strydonck; Amin Timany; Alix Trieu; Dominique Devriese; Lars Birkedal (J. ACM, 2024)