Alix Trieu
Aarhus Universitet
H-index: 7
Europe-Denmark
Top articles of Alix Trieu
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Cerise: Program verification on a capability machine in the presence of untrusted code | Journal of the ACM | Aïna Linn Georges* Armaël Guéneau* Thomas Van Strydonck Amin Timany Alix Trieu* | 2024/2/12 |
A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity | Matthieu Baty Pierre Wilke Guillaume Hiet Arnaud Fontaine Alix Trieu | 2023/7/10 | |
33èmes journées francophones des langages applicatifs | Chantal Keller Timothy Bourke Sandrine Blazy Frédéric Bour Guillaume Bury | 2022/6/28 | |
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities | Proceedings of the ACM on Programming Languages | Aïna Linn Georges Alix Trieu Lars Birkedal | 2022/4/29 |
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 | 2022/8/7 | |
Cap’ou pas cap’?: Preuve de programmes pour une machine à capacités en présence de code inconnu | Aïna Linn Georges Armaël Guéneau Thomas Van Strydonck Amin Timany Alix Trieu | 2021/4/7 | |
Efficient and provable local capability revocation using uninitialized capabilities | Proceedings of the ACM on Programming Languages | Aïna Linn Georges Armaël Guéneau Thomas Van Strydonck Amin Timany Alix Trieu | 2021/1/4 |
Mechanized Program Verification on a Capability Machine in Presence of Untrusted Code | Aïna Linn Georges Armaël Guéneau Thomas Van Strydonck Amin Timany Alix Trieu | 2020/11/30 |