Login / Signup
Théo Laurent
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 4
Top Topics
Provably Correct
Teaching Mathematics
Extended Abstract
Software Components
Top Venues
CoRR
CCS
F-IDE
</>
Publications
</>
Théo Laurent
,
Meven Lennon-Bertrand
,
Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types.
CoRR
(2023)
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
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CCS
(2018)
Guglielmo Fachini
,
Catalin Hritcu
,
Marco Stronati
,
Arthur Azevedo de Amorim
,
Ana Nora Evans
,
Carmine Abate
,
Roberto Blanco
,
Théo Laurent
,
Benjamin C. Pierce
,
Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.
CoRR
(2018)
Guglielmo Fachini
,
Catalin Hritcu
,
Marco Stronati
,
Ana Nora Evans
,
Théo Laurent
,
Arthur Azevedo de Amorim
,
Benjamin C. Pierce
,
Andrew Tolmach
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
CoRR
(2017)
Mathieu Jaume
,
Théo Laurent
Teaching Formal Methods and Discrete Mathematics.
F-IDE
(2014)