Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alix Trieu
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
POPL 2016 profile
POPL 2020 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Mon 11 Jan 2016
Name:
Alix Trieu
Country:
France
Affiliation:
ANSSI
Personal website:
https://alix.trieu.dev
Contributions
2024
PriSC
Committee Member in Program Committee within the PriSC 2024-track
2023
ECOOP
Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track
2022
SPLASH
Author of Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities within the OOPSLA-track
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
2016
CPP
Author of Formal Verification of Control-flow Graph Flattening within the CPP-track
Share
x
Thu 31 Oct 05:46