Aïna Linn Georges

According to our database, Aïna Linn Georges authored at least 14 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Data Race Freedom à la Mode.

Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer

Proc. ACM Program. Lang., 2025

The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic.

Simon Friis Vindum, Aïna Linn Georges, Lars Birkedal

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Artifact and Appendix of 'Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly'.

Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal

Dataset, August, 2024

Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly.

Maxime Legoupil, June Rousseau, Aïna Linn Georges, Jean Pichon-Pharabod, Lars Birkedal

Proc. ACM Program. Lang., 2024

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

SECOMP: Formally Secure Compilation of Compartmentalized C Programs.

Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal

Proc. ACM Program. Lang., 2023

2022

Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities (Artifact).

Aïna Linn Georges, Alix Trieu, Lars Birkedal

Dataset, January, 2022

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities.

Aïna Linn Georges, Alix Trieu, Lars Birkedal

Proc. ACM Program. Lang., 2022

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

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

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

Dataset, September, 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

2017

LINCX: A Linear Logical Framework with First-Class Contexts.

Aïna Linn Georges, Agata Murawska, Shawn Otis, Brigitte Pientka

Proceedings of the Programming Languages and Systems, 2017

2016

Some Counterexamples for Compatible Triangulations.

Cody Barnson, Dawn Chandler, Qiao Chen, Christina Chung, Andrew Coccimiglio, Sean La, Lily Li, Aïna Linn, Anna Lubiw, Clare Lyle, Shikha Mahajan, Gregory W. Mierzwinski, Simon Pratt, Yoon Su Yoo, Hongbo Zhang, Kevin Zhang

CoRR, 2016