Théo Laurent

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Provably Correct

Teaching Mathematics

Software Components

Top Venues

Publications

Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) (2024)
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)