conf.researchr.org / Arnaud Fontaine
Not registered as user yet
Name:Arnaud Fontaine
Affiliation:ANSSI
Contributions
| CoqPL 2020 | Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track |
Not registered as user yet
Contributions
| CoqPL 2020 | Author of The use of Coq for Common Criteria Evaluations within the CoqPL-track |