Le moteur de recherche
des thèses françaises
Bruno Martin
IdRefMots clés
FR |
EN
Chiffrement (informatique)
Cryptographie
Automates cellulaires
Mesures de sûreté
Systèmes informatiques -- Mesures de sûreté
Vérification formelle
Méthodes formelles (informatique)
Complexité de calcul (informatique)
Causalité
Graphes
Réversibilité
Universalité intrinsèque
Delta complexes
Théorie des graphes
Lambda-calcul
Théorie des types
Isomorphisme de Curry-Howard
Standards
Sécurité prouvable
EasyCrypt