Get started
Author

Aïna Linn Georges

Observed names: Aina Linn Georges, Georges, Aina Linn, Georges, Aïna Linn
ORCID: 0000-0002-5951-4642
Observed ORCID: 0000-0002-5951-4642
OpenAlex ID: A5041169923
Efficient and provable local capability revocation using uninitialized capabilities
2021 · Aïna Linn Georges, Armaël Guéneau, et al. · Proceedings of the ACM on Programming Languages · 42
PDF
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities
2022 · Aïna Linn Georges, Alix Trieu, et al. · Proceedings of the ACM on Programming Languages · 25
PDF
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
2023 · Xiaojia Rao, Aïna Linn Georges, et al. · Proceedings of the ACM on Programming Languages · 22
PDF
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
2023 · Aïna Linn Georges, Armaël Guéneau, et al. · Journal of the ACM · 21
PDF
Data Race Freedom à la Mode
2025 · Aïna Linn Georges, Benjamin Peters, et al. · Proceedings of the ACM on Programming Languages · 12
LINCX: A Linear Logical Framework with First-Class Contexts
2017 · Aina Linn Georges, Agata Murawska, et al. · Lecture notes in computer science · 12
Proving full-system security properties under multiple attacker models on capability machines
2022 · Thomas Van Strydonck, Aïna Linn Georges, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 11
PDF
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
2024 · Maxime Legoupil, June Rousseau, et al. · Proceedings of the ACM on Programming Languages · 6
The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic
2025 · Simon Friis Vindum, Aïna Linn Georges, et al. · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP) · 5
PDF
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
2024 · Jérémy Thibault, Roberto Blanco, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 4
Artifact of "Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation"
2025 · Mück, Niklas, Georges, Aïna Linn, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Griotte: Verified Compartmentalisation via Capabilities
2026 · Rousseau, June, Georges, Aïna Linn, et al. · arXiv (Cornell University)
PDF
Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation
2026 · Niklas Mück, Aïna Linn Georges, et al. · Proceedings of the ACM on Programming Languages
Designing and Proving Robust Safety of Efficient Capability Machine Programs
2023 · Georges, Aïna Linn
Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu
2021 · Georges, Aïna Linn, Guéneau, Armaël, et al.
Status on Airix Restart
2014 · Aïna Linn Georges, J.Beaubernard, et al.
Works count: 26
Citation count: 166
H-index: 7
I10-index: 7
Year
Topic
Type