Graduate School and Research Center in Digital Sciences

Zeineb ZHIOUA

Zeineb ZHIOUA
Zeineb ZHIOUA
Eurecom - Digital Security 
Cifre Doctoral student
04 93 00 82 00

Thesis

Specification and Automatic Verification of Security Guidelines for Program Certification