Le moteur de recherche
des thèses françaises
Benjamin Grégoire
IdRefMots clés
FR |
EN
Cryptographie
Théorie des types
Systèmes informatiques -- Mesures de sûreté
Compilation (informatique)
Logiciels -- Vérification
Systèmes de réécriture (informatique)
Machine abstraite
Normalisation
Evaluation partielle
Réflexion
Preuves formelles
Assistants de preuve et prouveurs automatiques
Certificats
Théorie de la démonstration
Complexité de calcul (informatique)
Standards
Sécurité prouvable
EasyCrypt
Preuve formelle
CMAC