Talks and presentations

2022

Binsec/Rel Symbolic Binary Analyzer for Security
17th June, Invited talk @ Cryptography Research Center, Technology Innovation Institute (TII) (online)

Towards Secure Speculation for the Constant-Time Policy
6th June, Short talk @ SILM Workshop (Genoa, Italy)

Symbolic Binary-Level Code Analysis for Security
10th May, Invited keynote - PhD defense replay @ Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information (RESSI) (France)

2021

Symbolic Binary-Level Code Analysis for Security
12th Nov, PhD defense (Inria Saclay, France)

Symbolic Binary-Level Code Analysis for Speculative Constant-Time
25th October, TEE Group Tech Talk Series, KU Leuven (Belgium)

Efficient Relational Symbolic Execution for Constant-Time at Binary-Level with Binsec/Rel
17th June, Presentation @ 20èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels (online, in French)

Efficient Relational Symbolic Execution for Constant-Time at Binary-Level with Binsec/Rel
11th June, Presentation @ 2nd International KLEE workshop on symbolic execution (online)

Efficient Relational Symbolic Execution for Speculative Constant-Time at Binary-Level
16th March, Invited talk @ 2021 meeting of the french research group on “formal methods for computer security” (online)

Experimental evaluation of a binary-level symbolic analyzer for Spectre: Binsec/Haunted
25th Feb, Talk about our experimental work @ LASER’21 workshop, colocated with NDSS’21 (online)

Hunting the Haunter – Efficient Relational Symbolic Execution for Spectre with Haunted RelSE
23rd Feb, Paper presentation @ NDSS 2021 (online)

Efficient Relational Symbolic Execution for Speculative Constant-Time at Binary-Level
8th Feb, Student talk @ Cyber in Saclay – Winter School in Cybersecurity (online)

2020

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level
19th May, Paper presentation @ IEEE Symposium on Security and Privacy (online)

2019

Binsec – A Binary Analysis Platform
7th Dec, Lightning talk @ Blackhoodie (Austria)

Binsec/Rel: Efficient Constant-Time Analysis of Binary-Level Code with Relational Symbolic Execution
12th Nov, Security seminar UCSD (United-States)

Binsec/Rel: Efficient Constant-Time Analysis of Binary-Level Code with Relational Symbolic Execution
5th Nov, ISI Cybersecurity Seminar (United-States)

2018

Inferring OpenVPN State Machines Using Protocol State Fuzzing
23rd April, Paper presentation @ EuroS&P Workshops 2018 (SPIDA) (United-Kingdom)