Talks and presentations

2021

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 at the 2nd International KLEE workshop on symbolic execution (online)

Efficient Relational Symbolic Execution for Speculative Constant-Time at Binary-Level
16th March, Presentation at the 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 at LASER’21 workshop, colocated with NDSS’21 (online)

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

Efficient Relational Symbolic Execution for Speculative Constant-Time at Binary-Level
8th Feb, Student talk at 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 at IEEE Symposium on Security and Privacy (online)

2019

Binsec – A Binary Analysis Platform
7th Dec, Lightning talk at 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 at EuroS&P Workshops 2018 (SPIDA) (United-Kingdom)