Alix Trieu

According to our database, Alix Trieu authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal

J. ACM, 2024

2023

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

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities (Artifact).

Aïna Linn Georges, Alix Trieu, Lars Birkedal

Dataset, January, 2022

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

Aïna Linn Georges, Alix Trieu, Lars Birkedal

Proc. ACM Program. Lang., 2022

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, Frank Piessens, Lars Birkedal, Dominique Devriese

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization.

Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese

Dataset, September, 2021

Efficient and provable local capability revocation using uninitialized capabilities.

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal

Proc. ACM Program. Lang., 2021

2020

Formal verification of a constant-time preserving C compiler.

Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu

Proc. ACM Program. Lang., 2020

2018

Verifying Constant-Time Implementations in a Verified Compilation Toolchain. (Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée).

Alix Trieu

PhD thesis, 2018

2017

Verifying Constant-Time Implementations by Abstract Interpretation.

Sandrine Blazy, David Pichardie, Alix Trieu

Proceedings of the Computer Security - ESORICS 2017, 2017

Verified Translation Validation of Static Analyses.

Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Formal verification of control-flow graph flattening.

Sandrine Blazy, Alix Trieu

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016