Thèse d'Alix Trieu

"Vérifications d'implémentations constant-time dans une chaine de compilation certifiée" thèse de doctorat de l'Université de Rennes 1 en informatique