Alix Trieu -

Registered user since Sun 10 Nov 2019

Name:Alix Trieu

Country:France

Affiliation:ANSSI

Personal website: https://alix.trieu.dev/

Research interests:Formal Verification, Compilation, Coq, Security

Contributions

2021

POPL

Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

PriSC

Author of Toward Complete Stack Safety for Capability Machines within the PriSC 2021-track

2020

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifacts-track

POPL

Author of Formal Verification of a Constant-Time Preserving C Compiler within the Research Papers-track

PriSC

Author of Mechanized Reasoning about a Capability Machine within the Principles of Secure Compilation 2020-track