Thomas Letan

According to our database, Thomas Letan authored at least 5 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Modular verification of programs with effects and effects handlers.

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

Formal Aspects Comput., 2021

2020

FreeSpec: specifying, verifying, and executing impure computations in Coq.

Thomas Letan, Yann Régis-Gianas

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2018

Specifying and Verifying Hardware-based Security Enforcement Mechanisms. (Spécifier et vérifier des stratégies d'application de politiques de sécurité s'appuyant sur des mécanismes matériels).

Thomas Letan

PhD thesis, 2018

Modular Verification of Programs with Effects and Effect Handlers in Coq.

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2016

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

Proceedings of the FM 2016: Formal Methods, 2016