Aïna Linn Georges

12 papers A* 1A 2B 1Journal 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation.
Proc. ACM Program. Lang.
Niklas Mück, Aïna Linn Georges, Derek Dreyer, Deepak Garg, Michael Sammler
2025 J jnl
Data Race Freedom à la Mode.
Proc. ACM Program. Lang.
Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
2025 B conf
The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic.
CPP
Simon Friis Vindum, Aïna Linn Georges, Lars Birkedal
2024 J jnl
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
J. ACM
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
2024 J jnl
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly.
Proc. ACM Program. Lang.
Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal
2024 A* conf
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CCS
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2024 J jnl
SECOMP: Formally Secure Compilation of Compartmentalized C Programs.
CoRR
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
2023 J jnl
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proc. ACM Program. Lang.
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
2022 J jnl
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities.
Proc. ACM Program. Lang.
Aïna Linn Georges, Alix Trieu, Lars Birkedal
2022 A conf
Proving full-system security properties under multiple attacker models on capability machines.
CSF
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
2021 J jnl
Efficient and provable local capability revocation using uninitialized capabilities.
Proc. ACM Program. Lang.
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
2017 A conf
LINCX: A Linear Logical Framework with First-Class Contexts.
ESOP
Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka