Retour sur la journée rencontre entre les projets SVP et PQ-TLS

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)

Retrouvez tout le programme des TransNumériques.

---

Autres Événements

• Événements
• Recherche

Le PEPR CyberDay 2026 à l’European Cyber Week 2026

Le Programme de Recherche en Cybersécurité participera à l’European Cyber Week 2026 le 18 novembre 2026 à Rennes et y organisera son événement annuel.

12 mai 2026

• Événements
• Recherche

Retour sur l’école d’été en cybercriminologie

Du 29 juin au 3 juillet a eu lieu la Cybercriminology Summer School, la première école d’été en cybercriminologie en France.

17 juillet 2026

• Événements
• Recherche

Ecole d’hiver 2027 du Programme de Recherche en Cybersécurité

Le PEPR Cybersécurité co-organise avec le GDR SI sa quatrième école d’hiver à destination des doctorants en cybersécurité du 15 au 19 mars 2027 à Aussois en Savoie, avec l'implication de CyberExcellence, le volet recherche de CyberWal.

31 août 2026