Aïna Linn Georges Homepage

Publications

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
In POPL 2021: ACM SIGPLAN Symposium on Principles of Programming Languages
pdf Coq development

Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Aïna Linn Georges, Alix Trieu, Lars Birkedal
In OOPSLA 2022: Proceedings of the ACM on Programming Languages
pdf Coq development

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
in submission
pdf Coq development

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
In CSF 2022: Computer Security Foundations Symposium
pdf



Workshops and other

Mechanized Reasoning about a Capability Machine
Aïna Linn Georges, Alix Trieu, Lars Birkedal
PRISC Workshop 2020
pdf

Toward Complete Stack Safety for Capability Machines
Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Lars Birkedal
PRISC Workshop 2021
pdf

Cap ou pas cap ?
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
JFLA 2021: Journées Francophones des Langages Applicatifs
pdf Coq development

Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities [Technical Report]
Aïna Linn Georges, Alix Trieu, Lars Birkedal
preprint
pdf