Registered user since Thu 2 Jan 2020
Name: Thomas Letan
Affiliation: ANSSI
Contributions
| CoqPL 2020 | The use of Coq for Common Criteria Evaluations | ||||||||||||||||||||||||||||||||||||||||
| CPP 2020 | FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile