Thursday, March 13 (between 11:30 a.m. and 1 p.m.) an operation is planned on the authentication server
which may cause connection issues on Sciencesconf
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)