Write a Blog >>

Not registered as user yet

Name:Karine Heydemann
Country:France
Affiliation:Sorbonne Université, CNRS, LIP6

Contributions

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

C&ESAR 2021: Automation in Cybersecurity-profile
View general profile