Journées 2022 du GT "Méthodes Formelles pour la Sécurité", GdR Sécurité Informatique

Breakfast

Keynote: The security protocol verifier ProVerif and its major recent improvements

Bruno Blanchet

Coffee break

GT MFS

Constant Time - Chair: Adrien Koutsos

› Type-Directed Program Transformation for Constant-Time Enforcement - Gautier Raimondi, CELTIQUE 10:30-10:50 (20min)

› Structured Leakage and Applications to Cryptographic Constant-Time and Cost - 10:50-11:10 (20min)

› End-to-end enforcement of fine-grained "cryptographic" constant-time policies - 11:10-11:30 (20min)

Break

GT MFS

Protocol Verification 2 - Chair: Yannick Chevalier

› Vérification des mécanismes de sécurité des navigateurs Web - Benjamin Farinier, Sec&Priv, TU Wien 11:50-12:10 (20min)

› Equational Proofs for Distributed Cryptographic Protocols - Kristina Sojakova, Inria Paris 12:10-12:30 (20min)

Lunch

Business Meeting

Coffee break

GT MFS

Computational Verification - Chair: Steve Kremer

› Mechanized Proofs of Adversarial Complexity and Application to Universal Composability - Adrien Koutsos, Programming securely with cryptography 16:30-16:50 (20min)

› A Formalization of the Proof of Correctness of a Number-Theoretic Transform in the Context of the Hakyber Cryptographic Primitive - Antoine Séré, Institut Polytechnique de Paris 16:50-17:10 (20min)

› CV2EC: Getting the Best of Two Worlds - Benjamin Grégoire, Inria Sophia Antipolis, Université Côte d'Azur 17:10-17:30 (20min)

Break

GT MFS

Program Verification 2 - Chair: Laurent Mounier

› A General Framework for Supervisory Control of Opacity - Nour Souid, LIPN 18:00-18:20 (20min)

› Support for Detecting Integer Overflow Vulnerability - Salim Yahia Kissi, Kissi 18:20-18:40 (20min)

Rump Session

Dinner