Write a Blog >>

Not registered as user yet

Name:Damien Couroussé
Country:France
Affiliation:Univ Grenoble Alpes, CEA, List

Contributions

C&ESAR 2021: Automation in Cybersecurity PROSECCO: Formally-Proven Secure Compiled Code
PROSECCO: Formally-Proven Secure Compiled Code
Show activities from other conferences

Using general profile