Sébasten Bardin, CEA "Formal methods: from source-level safety to binary-level security"

Loading
Timeline Slides Search Info
Loading Click here to add:
Add to notification list

Other media in the channel "Journée des GT SSL/SRI du Pre-GDR sécurité informatique a EURECOM"

148 views, 2 this month Sam L. Thomas, IRISA "Experiences with the Carnegie Mellon University Binary Analysis Platform (CMU BAP)" November 22nd, 2018
192 views, 1 this month Emanuele Cozzi, EURECOM "Understanding Linux Malware" November 22nd, 2018
87 views Ingrid Verbauwhede, KU Leuven "The need for Hardware roots of trust" November 22nd, 2018
94 views, 7 this month Leyla Bilge, Symantec Research Labs "An honest look at the state of enterprise security" November 22nd, 2018