Speakers

Keynotes

Gregory Blanc

Biography: Gregory got his PhD in computer security from the Nara Institute of Science and Technology (Japan) in the field of analysis of malicious scripts in web browsers, in 2012. He then joined the SAMOVAR laboratory (Télécom SudParis) as a postdoctoral researcher and contributed to the setting up and management of European collaborative projects such as NECOMA (European-Japanese project). Since 2015, he has been a senior researcher in security and networks at Télécom SudParis and coordinates collaborative research activities in European projects. Currently, he coordinates the ANR GRIFIN project in which he explores how machine learning can contribute to make the security loop autonomous in order to improve the resilience of the networks of the future: monitoring, detection, selection of countermeasures, deployment of security policies.

Estelle Pawlowsky

Biography: Estelle Pawlowski is an associate professor at ENSICAEN (Ecole Nationale Supérieure d'Ingénieurs de Caen) and is a member of the GREYC laboratory. She received her PhD from Lorraine INP in 2006 and her HDR from University de Caen Normandie in 2021. Her research interests focus on biometric authentication, through the key issues of security, usability and privacy. She is also interested in graph machine learning in socio-transactional graphs. She is currently DPO (Data Protection Officer) at ENSICAEN.

Olivier Blazy

Biography: Olivier Blazy is full professor at the Ecole Polytechnique. He did his doctorate on zero-knowledge proofs and implicit proofs. His research interests include postquantum cryptography (with standard proposals made to NIST), authenticated key exchange protocols and the use of cryptography for the protection of privacy. Recent works include the security of secure messaging, and a collaboration with CNIL on the subject of online age verification.

Sébastien Bardin

Biography: Sébastien Bardin is a senior researcher at CEA LIST, where he has initiated and now leads the binary-level security analysis group. His research interests lay at the crossroad of formal methods, program analysis, automated reasoning, software engineering and security. For a few years now, Sébastien has been interested in automating binary-level security analysis by lifting formal methods developed for the safety-critical industry, with applications to vulnerability analysis, reverse, deobfuscation and code protection. He particularly focuses on symbolic execution and he is the main designer of the (open-source) BINSEC platform for binary-level code analysis. Sébastien holds a PhD from Ecole Normale Supérieure de Cachan.

Samuel Rouxel

Biography: Samuel ROUXEL holds a PhD in Electonic and Industrial Computing from the Université Bretagne Sud since 2006. After a short post-doctorate in Lab-STICC CNRS research laboratory, he joined CRESITT Industrie in 2007.
Today electronics projet leader, he is specialized in embedded electronic systems. He masters hardware conception of electronics board, software development of firmware for microcontroller, microprocessor, and SOC. He also know how to implement and use GNU Linux on microcontroller.  He worked on several technology of communication and protocoles.  Since cybersecurity element became inescapable in electronic solutions, he is also interested in this subject and is working on monitoring and testing solutions and regulations.

CRESITT: CRESITT Industrie has been created in 1996 as a non profit organization. They are a Technological Center specialised in Electronics, Secured Wireless Embedded systems & Instrumentation. With their Research & Technologies laboratory and their measurement platform, they support manufacturer in their electronic developments and assist them in their innovative and technological projects on two main themes : wireless electronic systems and instrumentation.

Lecturers

Benjamin Nguyen

Biography: Benjamin Nguyen is a Professor at INSA Centre Val de Loire since 2014. He received his Ph.D. from Université de Paris-Sud in 2003. His research interests focus on privacy preserving data management techniques, with currently a special focus on anonymization and reidentification techniques. He was head of the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO, EA 4022) from 2016 to 2022, and member of the executive board of INSA Centre Val de Loire from 2015 to 2019.

Adel Hafiane

Biography: Adel Hafiane received the M.S. degree in embedded systems and information processing, and the Ph.D. degree from the University of Paris-Saclay, in 2002 and 2005, respectively. After that, he embarked on teaching and research, spending a year at Paris-Saclay and subsequently another year at  INSA Centre Val de Loire (INSA CVL). He was postdoctoral fellow at the computer science department, University of Missouri, from 2007 to 2008. M. Adel Hafiane has been working at INSA CVL since September 2008, as an assistant professor, then as an associate professor. He is a head of the Image and Vision group at PRISME Laboratory of University of Orléans and INSA CVL. He was an invited researcher at the University of Missouri on multiple periods, from 2009 to 2013. His research interests include theory and methods of machine learning and computer vision for different applications. He coordinated several research projects and co-authored more than 90 papers and 3 patents.

Challenges & Labs

Sara Taki

Biography: Sara Taki is a Research Engineer at INSA Centre Val de Loire, LIFO Lab, Systems and Data Security research team. She earned her Ph.D. in Computer Science from INSA Centre Val de Loire in 2023. Her research focuses on data privacy within graph databases, in particular differential privacy over RDF graphs. She holds an M.Sc degree in Information Systems and Data Intelligence from Lebanese University.

Nancy Awad

Biography: Nancy Awad is a lecturer at the University of Franche-Comté, conducting research with the OMNI team at the FEMTO-ST laboratory. Her research interests include privacy preservation and programmable matter.

Jérémy Briffaut

Biography: Jeremy Briffaut is associate professor at INSA CVL and a member of the Data and Systems Security research team at the Laboratoire d'Informatique Fondamentale d'Orléans. He was head of the Ubiquitous Systems Security option from 2011 to 2022, and has been Director of the Security and Information Technology Department since 2021. His research focuses on system security, embedded systems and blockchains.

 

Frédéric Recoules

Biography: Frédéric Recoules graduated from INSA and Université Toulouse Paul-Sabatier in 2016, then received a PhD in Computer Science from Université Grenoble-Alpes in 2021. His area of expertises spans formal methods, low-level programming, decompilation and reverse engineering. He notably obtained an ICSE distinguished paper award and a 2nd best GDR GPL PhD award (thematic: software engineering, formal methods and programming languages) for his work on formal verification of inline assembly code. He is currently Research Engineer at CEA where he is the main developer and maintainer of the binary-level program analysis platform BINSEC. His research addresses scalability issues in symbolic analysis at binary level, vulnerability analysis and reverse engineering for security.

Yanis Sellami

Biography: Yanis Sellami is a permanent researcher at CEA/LIST LSL, Paris-Saclay Univ. since December, 2023, where he works on the BINSEC symbolic execution engine on analyses for fault injection and side channel attacks as well and on the use of abduction techniques for symbolic execution. He was previously at CEA/LIST LFIM in Grenoble where he worked on the application of formal methods for the automatic characterization of fault injection attacks vulnerabilities. Before that, he was PhD in the Laboratory of Informatics of Grenoble under the supervision of N. Peltier and M. Echenim, where he worked on the design and implementation of automated theory-agnostic abduction algorithm and their applications. His topics of interest include formal verification of programs, symbolic execution, fault injection and side-channel attacks, logics and automated reasoning.