Program

	Mon. 17	Tue. 18	Wed. 19	Thu. 20	Fri. 21
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	Dinner 19:00 - 21:00 (2h) Dinner	Breakfast 7:30 - 9:00 (1h30) Breakfast Keynote 1 - Electronic voting: design, attack, and formal verification 9:00 - 10:00 (1h) Keynote 1 - Electronic voting: design, attack, and formal verification Véronique Cortier Break 10:00 - 10:30 (30min) Break Session 1 - Proofs of protocols 10:30 - 12:00 (1h30) Session 1 - Proofs of protocols Equational theories with user defined AC function symbols in Tamarin, Elise Klein (Université de Lorraine), Jannik Dreier (Université de Lorraine), Steve Kremer (Inria Université de Lorraine) Non-deduction proofs in Squirrel and the security of Signal, Clément Hérouard (Univ. Rennes, CNRS, IRISA), Charlie Jacomme (Université de Lorraine, CNRS, Inria, LORIA), Adrien Koutsos (INRIA Paris), Joseph Lallemand (Univ. Rennes, CNRS, IRISA) Formal verification of security properties of 5G slices : an elementary use case, Ahmed Bouabdallah (IMT Atlantique) Lunch 12:00 - 14:00 (2h) Lunch Session 2 - Code analysis 14:00 - 15:30 (1h30) Session 2 - Code analysis Formally Verified Hardening of C Programs against Hardware Fault Injection, Basile Pesin (Ecole Nationale de l'Aviation Civile), Sylvain Boulmé (Université Grenoble Alpes), David Monniaux (Université Grenoble Alpes), Marie-Laure Potet (Université Grenoble Alpes) Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Blackbox Deobfuscation, Vidal Attias (CEA-LIST), Gregoire Menguy (CEA-LIST), Sébastien Bardin (CEA-LIST) Termination Resilience Static Analysis, Naïm MOUSSAOUI REMIL (ENS PSL \| Inria Paris), Urban (ENS PSL \| Inria Paris) Break 15:30 - 16:00 (30min) Break Tool session 16:00 - 17:00 (1h) Tool session Tool session can stop latter than 5pm Dinner 19:00 - 21:00 (2h) Dinner	Breakfast 7:30 - 9:00 (1h30) Breakfast Session 3 - Trust and active defense 9:00 - 10:30 (1h30) Session 3 - Trust and active defense Vote&Check: Secure Postal Voting with Reduced Trust Assumptions, Véronique Cortier (Université de Lorraine, CNRS, Inria, LORIA), Alexandre Debant (Université de Lorraine, CNRS, Inria, LORIA), Pierrick Gaudry (Université de Lorraine, CNRS, Inria, LORIA), Léo Louistisserand (Université de Lorraine, CNRS, Inria, LORIA) Stratégies optimales de défense active basées sur la vérification formelle de systèmes multi-agent, Gabriel Ballot (Télécom Paris - EDF R&D) Formalizing trust in Cyber Threat Intelligence, Mariam Wehbe (INSA CVL), Laurent Bobelin (INSA CVL), Sabine Frittella (INSA CVL) Break 10:30 - 11:00 (30min) Break Tutorial 11:00 - 12:00 (1h) Tutorial Binsec tutorial Lunch 12:00 - 14:00 (2h) Lunch Social event 14:00 - 18:00 (4h) Social event A hike Banquet 19:00 - 22:00 (3h) Banquet	Breakfast 7:30 - 9:00 (1h30) Breakfast Keynote 2 - Verification and Synthesis of Hardware-Software Leakage Contracts 9:00 - 10:00 (1h) Keynote 2 - Verification and Synthesis of Hardware-Software Leakage Contracts Jan Reineke Break 10:00 - 10:30 (30min) Break Session 4 - Symbolic execution 10:30 - 12:00 (1h30) Session 4 - Symbolic execution A Scalable Framework for Backward Bounded Static Symbolic Execution, Nicolas Bellec (CEA-LIST), Grégoire Menguy (CEA-LIST), Frederic Recoules (CEA-LIST), Sébastien Bardin (CEA-LIST) Design and Usage of a Modular Implementation for Relational Analyses in Binsec: Constant Time and Secret Erasure, Yanis Sellami (CEA, List), Frédéric Recoules (CEA, List), Sébastien Bardin (CEA, List) Quantitative Robustness for Vulnerability Assessment, Guilhem Lacombe (CEA LIST, Université Paris-Saclay), Sébastien Bardin (CEA LIST, Université Paris-Saclay) Lunch 12:00 - 14:00 (2h) Lunch Session 5 - Attacks on protocols 14:00 - 15:30 (1h30) Session 5 - Attacks on protocols Automated Discovery of Subtle Attacks on Protocols using Mix-Nets, Jannik Dreier (Université de Lorraine),Pascal Lafourcade (Université Clermont-Auvergne), Dhekra Mahmoud (Université Clermont-Auvergne) New Formalisation & Attack-finding for Session Unlinkability, Ioana Cristina Boureanu (Surrey Centre for Cyber Security, University of Surrey), Fortunat Rajaona (Surrey Centre for Cyber Security, University of Surrey) Differential DY fuzzing : Adding differential fuzzing to the Puffin fuzzer, Tom Gouville (Inria Nancy) Break 15:30 - 16:00 (30min) Break Rump session + Business meeting 16:00 - 17:30 (1h30) Rump session + Business meeting Rump session + Business meeting Dinner 19:00 - 21:00 (2h) Dinner	Breakfast 7:30 - 9:00 (1h30) Breakfast

Online user: 1

Privacy | Accessibility