Nom de l’auteur/autrice :Marilou Gaborel

Franco-Japanese cybersecurity workshop The 8th Franco-Japanese Cybersecurity Workshop took place in Bordeaux from November 29 to December 1. Among the many subject discussed, several post-quantum cryptography presentations were held by our Japanese collegue, and PEPR members : Olivier Ruatta, Damien Olivier Robert, and André Schrottenloher. Discussions revealed the many similarities in post-quantum cryptography needs and […]

Check-out Bruno Blanchet & Charlie Jacomme report This document presents the security protocol verifier CryptoVerif. CryptoVerif does not rely on the symbolic, Dolev-Yao model, but on the computational model. It can verify secrecy, correspondence (which include authentication), and indistinguishability properties. It produces proofs presented as sequences of games, like those manually written by cryptographers; these

Crypto 2023 – Santa Barbara, USA – August 19 to 24 Our team members attended the event. They participated in submitted papers. Here’s are the accepted submitted papers that our members wrote: Prouff & Rivain’s Formal Security Proof of Masking, Revisited : Tight Bounds in the Noisy Leakage Model – Loïc Masure (CNRS) ; François-Xavier

Eurocrypt 2023 – Lyon – France Eurocrypt 2023 took place in Lyon, on April 23 to 27. This event is organised by the International Association for Cryptologic Research (IACR). PEPR PQ-TLS sponsored this event at a Platinium Level. Our project members also participated in publishing papers : Breaking SIDH in polynomial time – Damien Robert, Inria