Cédric Fournet
IdRefMots clés
FR |
EN
Analyse des programmes
Systèmes de réécriture
JavaScript
Flux d'information sûr
Protection de l'information (informatique)
Réécriture, Systèmes de (informatique)
JavaScript (langage de programmation)
Méthodes formelles
Informatique
Preuves
Cryptographie
Compilation
Correction fonctionnelle
Sûreté mémoire
Canaux auxiliaires