Concepedia

Alix Trieu

AT

5

Publications

86

Citations

5

H-Index

2016

Active since

Affiliations

Aarhus University(Current)

Centre National de la Recherche Scientifique

Institut de Recherche en Informatique et Systèmes Aléatoires

Agence Nationale de Sécurité du Médicament et des Produits de Santé

Alix Trieu is an author at Aarhus University specializing in computer engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringCompilersCryptographyVerification

Publications per year

2016–2023

5

Publications

5

Efficient and provable local capability revocation using uninitialized capabilities

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

Engineering, Information Security, Confidential Computing +20

Verifying constant-time implementations by abstract interpretation

Sandrine Blazy, David Pichardie, Alix Trieu · Journal of Computer Security · 2018 · 16 citations · Full text

Formal verification of control-flow graph flattening

Sandrine Blazy, Alix Trieu · 2016 · 15 citations · Full text

Engineering, Information Security, Compiler Technology +22

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities

Aïna Linn Georges, Alix Trieu, Lars Birkedal · Proceedings of the ACM on Programming Languages · 2022 · 15 citations · Full text

Engineering, Compiler Technology, Verification +26

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck et al. · Journal of the ACM · 2023 · 12 citations · Full text

Rows per page

1–5 of 5