Thomas Letan

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Factorial Design

Security Enforcement

Top Venues

Formal Aspects Comput.

CentraleSupélec, Châtenay-Malabry, France (PHD)

Education History

CentraleSupélec, Châtenay-Malabry, France

PHD

Publications

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular verification of programs with effects and effects handlers. Formal Aspects Comput. 33 (1) (2021)
Thomas Letan, Yann Régis-Gianas
FreeSpec: specifying, verifying, and executing impure computations in Coq. CPP (2020)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular Verification of Programs with Effects and Effect Handlers in Coq. FM (2018)
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. FM (2016)