• Sign in
  • Sign up
conf.researchr.org / Alix Trieu
  • 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
xTue 24 Jun 02:47
using conf.researchr.org (v1.69.0)
Support page
Sign Up