Date
Good luck to Zeineb ZHIOUA from the Digital Security Department, supervised by Yves ROUDIER, who will publicly support her doctoral thesis on September 8th, 2017 at 10am. Her thesis is about "Specification and Automatic Verification of Security Guidelines for Program Certification".
