Presentations:
An honest look at the state of enterprise security
The need for Hardware roots of trust
Understanding Linux Malware
Security and privacy issues in avionics communications
Formal methods: from source-level safety to binary-level security
BinCAT: purrfecting binary static analysis
https://gdr-securite-ssl.loria.fr/pmwiki.php/SSL/Sophia21112018