Journée annuelle du projet SVP
Publié le
Crédits : PEPR Cybersécurité
Le mardi 28 janvier 2025, la journée annuelle du projet SVP du PEPR Cybersécurité a rassemblé les membres du projet pour discuter des avancées dans le domaine de la cybersécurité.
Cet événement a mis en lumière des discussions approfondies sur divers aspects de la cybersécurité, notamment la vérification des protocoles.
Temps forts de l’événement :
La journée a débuté avec une keynote de Vincent Cheval de l’Université d’Oxford sur » Automatic verification of Finite Variant Property beyond convergent equational theories ». Les présentations des membres ont quant à elles inclus des sujets variés tels que :
• Propositional Logics of Overwhelming Truth par Antoine Thibaut
• Towards verifiable postal voting par Léo Louistisserand
• How efficient are replay attacks against vote privacy? par Johannes Mueller
• Preservation of Speculative Constant-Time by Compilation par Benjamin Grégoire
• Password-Authenticated Key Agreement et leurs preuves calculatoire par Guillaume Scerri
• A post-quantum sound CryptoVerif and applications to SSH and TLS par Charlie Jacomme
• HACL-rs: Porting verified C code to safe Rust par Aymeric Fromherz
• Modeling ceremonies using transformations par Barbara Fila
Cette journée a été une opportunité précieuse pour partager des connaissances et renforcer les collaborations dans le domaine de la cybersécurité, ainsi que de découvrir les possibilités offertes par le PTCC avec une présentation de François Teyssier.
Pour en savoir plus sur SVP, https://pepr-cyber-svp.cnrs.fr/
Autres Événements
