Alix Trieu

ORCID

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Venues

Proc. ACM Program. Lang.

CSF

IACR Cryptol. ePrint Arch.

CPP

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. J. ACM 71 (1) (2024)
Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF (2023)
Aïna Linn Georges, Alix Trieu, Lars Birkedal
Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese
Proving full-system security properties under multiple attacker models on capability machines. CSF (2022)
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal
Efficient and provable local capability revocation using uninitialized capabilities. Proc. ACM Program. Lang. 5 (POPL) (2021)
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu
Formal verification of a constant-time preserving C compiler. Proc. ACM Program. Lang. 4 (POPL) (2020)
Sandrine Blazy, David Pichardie, Alix Trieu
Verifying constant-time implementations by abstract interpretation. J. Comput. Secur. 27 (1) (2019)
Gilles Barthe, Sandrine Blazy, Benjamin Grégoire, Rémi Hutin, Vincent Laporte, David Pichardie, Alix Trieu
Formal Verification of a Constant-Time Preserving C Compiler. IACR Cryptol. ePrint Arch. 2019 (2019)
Sandrine Blazy, David Pichardie, Alix Trieu
Verifying Constant-Time Implementations by Abstract Interpretation. ESORICS (1) (2017)
Gilles Barthe, Sandrine Blazy, Vincent Laporte, David Pichardie, Alix Trieu
Verified Translation Validation of Static Analyses. CSF (2017)
Sandrine Blazy, Alix Trieu
Formal verification of control-flow graph flattening. CPP (2016)

Alix Trieu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alix Trieu