Le 22 mai 2024, lors de la 17e édition de la conférence internationale Computers Privacy and Data Protection (CPDP), le prix de la protection de la vie privée a été remis à Alexandre Debant et Lucca Hirschi pour leur article « Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol ».https://www.cnil.fr/fr/prix-cnil-inria-2023-deux-chercheurs-francais-recompenses
This year’s distinguished paper award at the CSF Symposium went to Vincent Cheval member of the project SVP and Itsaka Rakotonirina for their paper on « Indistinguishability Beyond Diff-Equivalence in ProVerif. »
distinguished paper award Lire la suite »
Congratulations to Bruno Blanchet member of the Pepr Svp for his Test of Time award on « An efficient Cryptographic Protocol Verifier Based on Prolog Rules » at the CSF symposium 2023
Test of Time award Lire la suite »
Recent work by Adrien Koutsos and his co-authors received the Distinguished Paper Award at IEEE CSF 2022 (part of FLOC):Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistantwith D. Baelde, S. Delaune, A. Koutsos and S. Moreau. The pre-print is available on HAL here.
Distinguished Paper Award Lire la suite »
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
CNRS Silver Medal : Véronique Cortier Lire la suite »
Ce travail a bénéficié d’une aide de l’État gérée par l’Agence Nationale de la Recherche au titre du Plan France 2030 portant la référence ANR-22-PECY-0006
