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
Digital Omnibus – simplification technique ou érosion des droits ?
Lors des TransNumériques de Rennes du 2 au 5 février, le projet IPoP a réalisé l'atelier DigitalOmnibus.
10 février 2026
Résilience et confidentialité de l’IA et de l’IA distribuée
Lors des TransNurémiques de Rennes du 2 au 6 Février 2026, le projet IPoP a réalisé un atelier sur la résilience et confidentialité de l’IA et de l’IA distribuée
10 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