List of Talks

2020

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

Ma soutenance de thèse
Friday, November 27, 2020 14:00 — 17:00 🇫🇷 ENS, France
Diapositives Manuscrit PV du jury

Vérification de programmes par interprétation abstraite

Rapide introduction à l’interprétation abstraite
Monday, September 14, 2020 10:20 — 10:40 🇫🇷 ENS, France
Diapositives

Sharing Ghost Variables in a Collection of Abstract Domains

Friday, January 10, 2020 🇺🇸 New Orleans, Louisiana, United States
Projet Diapositives

2019

Vérification de programs par interprétation abstraite

L’interpretation abstraite : comment truander les ordinateurs pour qu’ils fassent des preuves
Tuesday, May 28, 2019 🇫🇷 INRIA, France
Diapositives

Proving the Security of an Embedded Operating System Using Abstract Interpretation

L’enfer, c’est le code source bas niveau
Monday, April 29, 2019 🇫🇷 INRIA, France
Projet Diapositives