Tamara Rezk
Mots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Cryptographie
Protection de l'information (informatique)
Codage
Traitement réparti
Applications Web
Exécution symbolique
Système binaire (mathématiques)
Compilateurs (logiciels)
Analyse des programmes
Systèmes de réécriture
JavaScript
Flux d'information sûr
Réécriture, Systèmes de (informatique)
JavaScript (langage de programmation)
Analyse des protocoles cryptographiques
Équivalences observationnelles
DeepSec
Symétries
Optimisation