Le moteur de recherche
des thèses françaises
Jean Goubault-Larrecq
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Logique mathématique
Systèmes informatiques -- Mesures de sûreté
Topologie algébrique
Cryptographie
Arbres (théorie des graphes)
Langages de programmation -- Sémantique
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