Alix Trieu

⊕ email: alix@trieu.dev
email (work): alix.trieu@ssi.gouv.fr
sourcehut: ~atrieu

I am a formal methods expert in the software security group at the French cybersecurity agency (ANSSI) since September 2021.

I was a Postdoc from January 2019 to August 2021 working with Aslan Askarov and Lars Birkedal in the Logic and Semantics group at the Department of Computer Science of Aarhus University.

Before that, I was a Ph.D student between January 2016 to December 2018 in the Celtique group at Inria/IRISA/Université de Rennes 1 in France under the supervision of Sandrine Blazy and David Pichardie.

My Ph.D thesis is on the verification of constant-time implementations in a verified compiler toolchain such as CompCert and Verasco.

I am looking for an applied scientist or formal methods engineer position in industry, and am interested in formal verification, static analysis, programming language design and compilation for security.
I am currently based in Paris, France, but am open to relocating depending on the location.
Please do contact me if you have any opportunities, or for my CV.

News

September 2023: Our paper Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code has been accepted for publication in the Journal of the ACM!

May 2023: Our paper A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity has been accepted at CSF 2023!

December 2022: 🏆 Distinguished paper award at OOPSLA for our paper Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities!