Quentin Meunier -

Not registered as user yet

Name:Quentin Meunier

Country:France

Affiliation:Sorbonne Université, CNRS, LIP6

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