formal methods

On Virus Propagation[ slides ]     [ ENG ]     29 Jul

On Incorrectness Logic for Quantum Programs[ slides ]     [ ENG ]     23 May

Type Confusion Attack                         [ ITA ]     31 Oct

Detecting Cross-Language Issues in Rust[ slides ]     [ ENG ]     5 Apr

The Halting Problem[ slides ]     [ ITA ]     1 Sep