TechDays Vérification de Protocoles Cryptographiques et de leurs Implémentations
TechDays Vérification de Protocoles Cryptographiques et de leurs Implémentations. Cédric Fournet Microsoft Research Centre de recherche commun INRIA—Microsoft avec Karthikeyan Bhargavan, Microsoft Research Andrew D. Gordon, Microsoft Research Stephen Tse , University of Pennsylvania.
650 views • 54 slides