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. »
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.
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