Interprétation abstraite pour WebAssembly · Secure Programming Languages & Tools for Security, Doctorat · La Géode