Damien Couroussé -

Not registered as user yet

Name:Damien Couroussé

Country:France

Affiliation:Univ Grenoble Alpes, CEA, List

Contributions

C&ESAR 2021: Automation in Cybersecurity	Author of PROSECCO: Formally-Proven Secure Compiled Code within the Appel à communications-track Author of PROSECCO: Formally-Proven Secure Compiled Code within the Call for Papers-track