Jean-Jacques Lévy
IdRefMots clés
FR |
EN
Langages de programmation
Cryptographie
Lambda-calcul
Typage
Systèmes à paramètres répartis
Lambda calcul
Calculs de processus
Programmation (informatique)
Langages de programmation -- Sémantique
Protocoles cryptographiques
Sécurité
Vérification formelle
Signatures électroniques
Logiciels -- Vérification
Preuve électronique
Chiffrement (informatique)
Vote électronique
Ordinateurs
Langages de programmation fonctionnelle
JoCaml