Old Web
English
Sign In
Acemap
>
authorDetail
>
Théo Laurent
Théo Laurent
École Normale Supérieure
Computer science
Abstract machine
Undefined behavior
Compiler
Compromise
5
Papers
45
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (23)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Catalin Hritcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (0)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (11)
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
2017
arXiv: Cryptography and Security
Guglielmo Fachini
Cătălin Hriţcu
Marco Stronati
Ana Nora Evans
Théo Laurent
Arthur Azevedo de Amorim
Benjamin C. Pierce
Andrew Tolmach
Show All
Source
Cite
Save
Citations (1)
Teaching formal methods and discrete mathematics
2014
Mathieu Jaume
Théo Laurent
Show All
Source
Cite
Save
Citations (10)
1