Bruno Martin
IdRefMots clés
FR |
EN
Chiffrement (informatique)
Cryptographie
Systèmes informatiques -- Mesures de sûreté
Automates cellulaires
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
Preuve formelle
CMAC
SHA-3
ChaCha20-Poly1305