Presentations

2024

On Virus Propagation

[ slides ] [ ENG ] 29 Jul

On Incorrectness Logic for Quantum Programs

[ slides ] [ ENG ] 23 May

2023

[ slides ] [ ENG ] 17 Jul

Detecting Cross-Language Issues in Rust

[ slides ] [ ENG ] 5 Apr

2022

The Halting Problem

[ slides ] [ ITA ] 1 Sep

2019

Android Privilege Escalation

[ slides ] [ ITA ] 1 Jun