Le moteur de recherche
des thèses françaises
Gilles Barthe
IdRefMots clés
FR |
EN
Cryptographie
Méthodes formelles
Logiciels -- Vérification
Méthodes formelles (informatique)
Sécurité
Protocoles cryptographiques
Protection de l'information (informatique)
Vérification
Coq (logiciel)
Langages de programmation
Sémantique opérationnelle
Informatique
Systèmes informatiques -- Mesures de sûreté
Vérification formell
Assistant de preuve
Preuve de programme
Extraction
Analyse de code
Coq, C
Compilateurs (logiciels)