[Dec. 2020] Phd Defense : Salwa SOUAF, December 15th 09H30 : Methodes formelles et Sécurité en informatique en nuages