List of Talks

2020

Proving the Security of Software-Intensive Embedded Systems by Abstract Interpretation

My PhD defense
Friday, November 27, 2020 14:00 — 17:00 🇫🇷 ENS, France
Slides Manuscript Minutes of the jury

Program Verification by Abstract Interpretation

A quick introduction to abstract interpretation
Monday, September 14, 2020 10:20 — 10:40 🇫🇷 ENS, France
Slides

Sharing Ghost Variables in a Collection of Abstract Domains

Friday, January 10, 2020 🇺🇸 New Orleans, Louisiana, United States
Project Slides

2019

Verification of Programs by Abstract Interpretation

Abstract interpretation: how to trick computers to make proofs
Tuesday, May 28, 2019 🇫🇷 INRIA, France
Slides

Proving the Security of an Embedded Operating System Using Abstract Interpretation

Low-level source code is hard
Monday, April 29, 2019 🇫🇷 INRIA, France
Project Slides