Veronique Cortier [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
A formal analysis of the Neuch√Ętel e-voting protocol IEEEEuropeanSymposiumS&P-2018 - London, United Kingdom
Designing and proving an EMV-compliant payment protocol for mobile devices EuroSP-2017 - paris,france
A composable computational soundness notion Confrence-on-computer-communications-security-2011 - Chicago, USA