Retour sur la journée rencontre entre les projets SVP et PQ-TLS
Publié le
Crédits : PEPR Cybersécurité
Lors des TransNumériques, les projets SVP du PEPR Cybersécurité et PQ-TLS du PEPR Quantique ont organisé des journées Rencontre.
Retrouver tout le programme des deux journées :
- Mardi 3 février
- 14h Formally Verifying Real-World Cryptographic Software – Karthik Bhargavan (1h)
- 15h : Subversion-resilient Key-exchange in the Post-quantum World – Charlie Jacomme / PESTO (30 min) et Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel – Adrien Koustos / PROSECCO (30 min)
- 16h Break
- 17h Post-compilation validation of HACL* side-channel guarantees – Aymeric Fromherz / PROSECCO (30 min) et The Jasmin Compiler Preserves Cryptographic Security – Vincent Laporte / PESTO (30 min)
- Mercredi 4 février
- 10h45
- SMT based automation for higher order polymorphic CCSA logic – Stanislas Riou / SPICY (30 min)
- DDYF: Differential Dolev-Yao Model-Guided Fuzzing of Cryptographic Protocols – Tom Gouville / PESTO (30 min)
- Contributions to FHE security against CCA adversaries – Marc Renard / INSPIRE (30 min)
- Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol – Justine Sauvage / PROSECCO (30 min)
- 10h45
Retrouvez tout le programme des TransNumériques.
Autres Événements
Save The Date : Journée d’étude droit et sécurité informatique
La maitrise de la sécurité informatique comme arme stratégique : Services essentiels, événements sportifs et autres cibles du cyberpouvoir.
24 février 2026
La surveillance en débat aux TransNumériques
Le 3 février, dans le cadre des journées Transnumériques au Couvent des Jacobins, les projets DefMal, iPOP et REV (PEPR Cybersécurité) ont organisé un atelier consacré à la surveillance.
10 février 2026
Projet COMPROMIS et Transparency Working Group
Le projet COMPROMIS a commencé une collaboration avec l’Europe en participant au Transparency Working Group.
30 janvier 2026