Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Thomas Letan

Not registered as user yet

Name: Thomas Letan

Affiliation: ANSSI

Contributions

CoqPL 2020Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track
CPP 2020Author of Astructio: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track
Show activities from other conferences

Using general profile