Benjamin Grégoire
IdRefMots clés
FR |
EN
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Compilation (informatique)
Théorie des types
Réécriture, Systèmes de (informatique)
Machine abstraite
Normalisation
Evaluation partielle
Réflexion
Théorie de la démonstration
Complexité de calcul (informatique)
Standards
Sécurité prouvable
EasyCrypt
Preuve formelle
CMAC
SHA-3
ChaCha20-Poly1305
Chiffrement (informatique)
Vérification formelle