Concepedia

Aïna Linn Georges

AL

4

Publications

72

Citations

4

H-Index

2021

Active since

Affiliations

Aarhus University(Current)

Agence Nationale de Sécurité du Médicament et des Produits de Santé

Aïna Linn Georges is an author at Aarhus University specializing in computer science, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringCompilersVerificationSystem Software

Publications per year

2021–2023

4

Publications

4

Efficient and provable local capability revocation using uninitialized capabilities

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

Engineering, Information Security, Confidential Computing +20

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil et al. · Proceedings of the ACM on Programming Languages · 2023 · 17 citations · Full text

Engineering, Compiler Technology, Verification +21

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

Aïna Linn Georges, Alix Trieu, Lars Birkedal · Proceedings of the ACM on Programming Languages · 2022 · 15 citations · Full text

Engineering, Compiler Technology, Verification +26

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Journal of the ACM · 2023 · 12 citations · Full text

Rows per page

1–4 of 4