Date: June 17, 2022 Place: Alice and Bob (B11-B13) Chair: Emmanuel Jeandel 9h30-10h00 Welcome 10h00-10h30 Dylan Marinho Guaranteeing Timed Opacity using Parametric Timed Model Checking Information leakage can have dramatic consequences on systems security. Among harmful information leaks, the timing information leakage occurs whenever an attacker successfully deduces confidential internal…
Date: November 19, 2019 Place: Alice and Bob (B11-B13) Chairs: Emmanuel Jeandel 9h15-9h30 Welcome Session 1 : 9h30-10h30 Pierre Lermusiaux Pattern Eliminating Transformation #T1 Program transformation is a common practice in computer science, and its many applications can have a range of different objectives. For example, a program written in…
Date: November 20, 2018 Place: A008 Chairs: Emmanuel Jeandel 9h15-9h30 Welcome Session 1 : 9h30-10h30 Joseph Lallemand Voting: You Can’t Have Privacy without Individual Verifiability #T5 Electronic voting typically aims at two main security goals: vote privacy and verifiability. These two goals are often seen as antagonistic and some national…
Date: November 7 Place: A008 Chairs: Emmanuel Jeandel 09h00 – 09h30 Welcome 09h30 – 10h00 : Joseph Lallemand A Type System for Privacy Properties Mature push button tools have emerged for checking trace properties (e.g. secrecy or authentication) of security protocols. The case of indistinguishability-based privacy properties (e.g. ballot privacy…
Date: October 16 Place: A008 Chairs: Emmanuel Jeandel Session 1 : 8h30-10h 8h30-9h00 : Hubert Godfroy A theory of reflexive computation based on soft intuitionistic logic Computational Reflection is a paradigm in which the computational mechanisms controls the different levels of data interpretation. It can be decomposed into two processes:…
Date: October 20 Place: A008 Chairs: Emmanuel Jeandel Session 1 : 9h-10h Eric Le Morvan Secure refinements of communication channels It is a common practice when designing security protocols to assume that they already unspecified secure channels. Then the secure channels are implemented using any standard protocol, e.g. TLS. However…
Date: Tuesday, October 14 Place: B013 Chairs: Emmanuel Jeandel 14h00-14h35 : Hubert Godfroy (Carte) Self Modifying Machines We describe a new framework for self-modifying programs. Our goal is to show how to extract program abstraction focusing on self-modifications. On the first hand, we use a abstract machine which makes explicit…
Date: Tuesday, October 22 Place: A008 Chair: Michael Rusinowitch (morning) & Emmanuel Jeandel (afternoon) 9h30-10h : Jean-Christophe Bach (Pareo) Langage et outil pour la transformation de modèles 10h-10h30 : Houari Mahfoud (Cassis) Secure and Valid Manipulation of XML Data It is increasingly common to find XML views used to enforce…
Date: Friday, September 21 Place: A008 Chair: Dominique Méry 9h00-9h15: Coffee 9h15-9h30: Opening by Dominique Méry 9h30-11h00 : Session 1 Cyrille Wiedling : Vérification Formelle de Protocoles : Vote Electronique et API de SécuritéCryptographic protocols are widely used around the world, often in our everyday life such as cash machines,…
