Aïna Linn Georges

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Hardware Designs

Security Properties

Iris Biometrics

Top Venues

Proc. ACM Program. Lang.

Publications

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM 71 (1) (2024)
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
SECOMP: Formally Secure Compilation of Compartmentalized C Programs. CoRR (2024)
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Aïna Linn Georges, Alix Trieu, Lars Birkedal
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
Proving full-system security properties under multiple attacker models on capability machines. CSF (2022)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka
LINCX: A Linear Logical Framework with First-Class Contexts. ESOP (2017)