Follow
Aïna Linn Georges
Aïna Linn Georges
Aarhus University
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Efficient and provable local capability revocation using uninitialized capabilities
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
322021
Iris-wasm: Robust and modular verification of webassembly programs
X Rao, AL Georges, M Legoupil, C Watt, J Pichon-Pharabod, P Gardner, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 1096-1120, 2023
132023
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities
AL Georges, A Trieu, L Birkedal
Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-30, 2022
132022
Proving full-system security properties under multiple attacker models on capability machines
T Van Strydonck, AL Georges, A Guéneau, A Trieu, A Timany, F Piessens, ...
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 80-95, 2022
82022
Cerise: Program verification on a capability machine in the presence of untrusted code
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, D Devriese, ...
Journal of the ACM, 2023
72023
Cap’ou pas cap’?: Preuve de programmes pour une machine à capacités en présence de code inconnu
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, D Devriese, ...
Journées Francophones des Langages Applicatifs 2021, 2021
62021
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
J Thibault, R Blanco, D Lee, S Argo, AA de Amorim, AL Georges, C Hritcu, ...
arXiv preprint arXiv:2401.16277, 2024
2024
Designing and Proving Robust Safety of Efficient Capability Machine Programs
AL Georges
Aarhus Universitet, 2023
2023
Mechanized Program Verification on a Capability Machine in Presence of Untrusted Code
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
2020
Cap’ou pas cap’?
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, D Devriese, ...
32 ème Journées Francophones des Langages Applicatifs, 157, 0
Program verification on a capability machine in presence of untrusted code
AL Georges, A Guéneau, T Van Strydonck, A Timany, A Trieu, ...
Mechanized Reasoning about a Capability Machine
AL Georges, A Trieu, L Birkedal
Toward Complete Stack Safety for Capability Machines
AL Georges, A Guéneau, A Trieu, L Birkedal
The system can't perform the operation now. Try again later.
Articles 1–13