Programme

Semaine Lun. 21 Mar. 22 Mer. 23 Liste

	Lun. 21	Mar. 22	Mer. 23
07:00 08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00 23:00	Petit déjeuner 7:45 - 8:45 (1h) Petit déjeuner Bienvenue 8:45 - 9:00 (15min) Bienvenue Sébastien Bardin et Jannik Dreier Keynote: Semantic preservation of constant-time policies during compilation 9:00 - 10:00 (1h) Keynote: Semantic preservation of constant-time policies during compilation Sandrine Blazy Pause café 10:00 - 10:30 (30min) Pause café GT MFS 10:30 - 11:30 (1h) GT MFS Protocol Verification 1 - Chair: Joseph Lallemand › Systematic, automated discovery of security protocol attacks that exploit weaknesses in common hash functions - Charlie Jacomme, CISPA 10:30-10:50 (20min) › A comprehensive security analysis of the Belenios protocol and more - Alexandre Debant, Inria Nancy - Grand Est 10:50-11:10 (20min) › Formal analysis of LAKE-EDHOC - Maïwenn Racouchot, Racouchot - Elise Klein, Klein 11:10-11:30 (20min) Pause 11:30 - 11:50 (20min) Pause GT MFS 11:50 - 12:30 (40min) GT MFS Cryptographic Implementations - Chair: Caroline Fontaine › Formal Verification Challenges on High-Speed Cryptographic Implementations - Miguel Quaresma, MPI-SP - Tiago Oliveira, MPI-SP 11:50-12:10 (20min) › A CompCert Backend with Symbolic Encryption - 12:10-12:30 (20min) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Keynote: Symbolic execution by compiling symbolic handling into binaries with SymCC and SymQEMU 14:00 - 15:00 (1h) Keynote: Symbolic execution by compiling symbolic handling into binaries with SymCC and SymQEMU Aurélien Francillon Pause café 15:00 - 15:30 (30min) Pause café GT MFS 15:30 - 16:30 (1h) GT MFS Static Analysis 1 - Chair: Michael Marcozzi › Improving Static Analysis Precision by Minimal Program Refinement - Charles Babu M, Univ. Paris-Saclay, CEA, List, Saclay, France 15:30-15:50 (20min) › Assessing bug replicability for more security-minded bug finding - Guillaume Girol, Laboratoire Sûreté des Logiciels 15:50-16:10 (20min) › Efficient Symbolic Algorithms for Software Verification Against Fault Attacks - Soline Ducousso, Univ. Paris-Saclay, CEA, List, Saclay, France 16:10-16:30 (20min) Pause 16:30 - 17:00 (30min) Pause GT MFS 17:00 - 18:00 (1h) GT MFS Program Verification 1 - Chair: Julien Signoles › Verifying Low-Level, Concurrent Programs with Steel - Aymeric Fromherz, Inria 17:00-17:20 (20min) › Model Checking of Vulnerabilities in SmartContracts: A Solidity-to-CPN Approach Extended Abstract - 17:20-17:40 (20min) › Verifying Redundant-Check Based Countermeasures: A Case Study - Thibault Martin, CEA LIST - Nikolai Kosmatov, Thales Research and Technology - Virgile Prevosto, CEA LIST 17:40-18:00 (20min) Banquet 20:00 - 23:00 (3h) Banquet	Petit déjeuner 7:45 - 9:30 (1h45) Petit déjeuner Social Event: Découverte du massif de l'Esterel avec guides (bus + ballade). Pique-nique sur la plage à midi. 9:30 - 15:00 (5h30) Social Event: Découverte du massif de l'Esterel avec guides (bus + ballade). Pique-nique sur la plage à midi. GT MFS 16:00 - 17:00 (1h) GT MFS Static Analysis 2 - Chair: Nikolai Kosmatov › Analyse de contre-mesures dans le cadre d'attaques multiples - Etienne Boespflug, VERIMAG 16:00-16:20 (20min) › Stack smashing analysis by abstract interpretation of binary code - Julien Forget, Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires 16:20-16:40 (20min) › Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks - Francesco Parolini, Sorbonne University 16:40-17:00 (20min) Pause café 17:00 - 17:30 (30min) Pause café GT MFS 17:30 - 18:10 (40min) GT MFS Network Security - Chair: Marie-Laure Potet › Learning and Knowledge for Anomaly Detection - Yannick Chevalier, IRIT 17:30-17:50 (20min) › Formal analysis of security issues in dynamic virtual networks - Pierre Le Scornet, Université de Rennes 1 17:50-18:10 (20min) Session Outils 18:45 - 19:45 (1h) Session Outils Dîner 20:00 - 22:00 (2h) Dîner	Petit déjeuner 7:45 - 9:00 (1h15) Petit déjeuner Keynote: The security protocol verifier ProVerif and its major recent improvements 9:00 - 10:00 (1h) Keynote: The security protocol verifier ProVerif and its major recent improvements Bruno Blanchet Pause café 10:00 - 10:30 (30min) Pause café GT MFS 10:30 - 11:30 (1h) 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) Pause 11:30 - 11:50 (20min) Pause GT MFS 11:50 - 12:30 (40min) 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) Déjeuner 12:30 - 14:00 (1h30) Déjeuner Business Meeting 15:30 - 16:00 (30min) Business Meeting Pause café 16:00 - 16:30 (30min) Pause café GT MFS 16:30 - 17:30 (1h) 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) Pause 17:30 - 18:00 (30min) Pause GT MFS 18:00 - 18:40 (40min) 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 19:00 - 20:00 (1h) Rump Session Dîner 20:00 - 22:00 (2h) Dîner

Personnes connectées : 2

Vie privée