Gilles Barthe
Mots clés
FR |
EN
Cryptographie
Méthodes formelles
Logiciels -- Vérification
Méthodes formelles (informatique)
Sécurité
Protection de l'information (informatique)
Vérification
Protocoles cryptographiques
Coq (logiciel)
Systèmes informatiques -- Mesures de sûreté
Vérification formell
Assistant de preuve
Preuve de programme
Extraction
Analyse de code
Coq, C
Compilateurs (logiciels)
Langages de programmation
Différences de programmes
Sémantique opérationnelle