Thomas Jensen
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Systèmes informatiques -- Mesures de sûreté
Sécurité
Analyse statique
Vérification
Cryptographie
Protection de l'information (informatique)
JavaScript (langage de programmation)
Interprétation abstraite
Smartphones
Méthodes formelles
Java (langage de programmation)
Langages de programmation -- Sémantique
Compilation (informatique)
Langages de programmation
Vie privée
Logiciels -- Essais
Logiciels -- Validation
Théorèmes -- Démonstration automatique
Réécriture, Systèmes de (informatique)