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
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)
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)