Aïna Linn Georges
Orcid: 0000-0002-5951-4642
According to our database1,
Aïna Linn Georges
authored at least 8 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
J. ACM, 2024
2023
Proc. ACM Program. Lang., 2023
2022
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities.
Proc. ACM Program. Lang., 2022
Proving full-system security properties under multiple attacker models on capability machines.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
Proc. ACM Program. Lang., 2021
2017
Proceedings of the Programming Languages and Systems, 2017
2016