Thèse de Nisrine Jafri

"Formal fault injection vulnerability detection in binaries - a software process and hardware validation" - Thèse de doctorat de l'université de Rennes 1 en informatique