CNRS Silver Medal: Véronique Cortier strengthens the security of electronic voting
Véronique Cortier, a researcher in computer science at the Lorraine Laboratory for Research in Computer Science and it’s Applications (Loria – CNRS/University of Lorraine/Inria), is particularly noteworthy for her scientific, industrial and societal impact on electronic voting. Her fundamental work has made it possible to define the essential security properties of a voting protocol and to develop formal methods to verify them. This work has earned her the CNRS silver medal.
Discover the portrait of Véronique Cortier on on the INS2i website
Software Tools
- F* : Verification system for effectful programs
- CryptoVerif : Cryptographic protocol verifier in the computational model
- ProVerif : Cryptographic protocol verifier in the symbolic model
- Squirrel : Interactive prover for security protocols in the computational model.
- SAPIC+ :
- DEEPSEC :
- AKISS :
- EASYCRYPT :