Le moteur de recherche
des thèses françaises
Luca Viganò
IdRefMots clés
FR |
EN
Protocoles cryptographiques
Cryptographie
Méthodes formelles
Modèle symbolique
Méthodes formelles (informatique)
Calcul formel
Sécurité
Vérification formelle
Signatures électroniques
Logiciels -- Vérification
Preuve électronique
Chiffrement (informatique)
Vote électronique
Raisonnement Modulo Théories
Vérification
Abduction
Vérification de modèles (informatique)
Abduction (logique)