Jean Goubault-Larrecq
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Logique mathématique
Arbres (théorie des graphes)
Structures de données (informatique)
Typage
Langage de programmation
Vérification déductive
Logique
Alias de pointeurs
Régions
Permissions
Séparation
Modèle mémoire
Programmation impérative (informatique)
Théorie des types
Protocoles cryptographiques
Sécurité
Vérification formelle
Chiffrement (informatique)