Le moteur de recherche
des thèses françaises
Myrto Arapinis
IdRefMots clés
FR |
EN
Protocoles de réseaux d'ordinateurs
Systèmes informatiques -- Mesures de sûreté
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec
Symétries
Optimisation
Cryptographie
Relations d'équivalence (théorie des ensembles)
Vérification de modèles (informatique)
Complexité de calcul (informatique)
Protocole de sécurité
Sécurité calculatoire
Preuves automatiques
Indistinguabilité
Mesures de sécurité
Fiabilité
Automatisation
Cryptographie quantique
Primitives de sécurité matérielle