Jaume, Mathieu
VIAF ID: 313564286 ( Personal )
Permalink: http://viaf.org/viaf/313564286
Preferred Forms
-
-
- 100 1 _ ‡a Jaume, Mathieu
- 100 1 _ ‡a Jaume, Mathieu
Works
Title | Sources |
---|---|
Comprendre les menaces sophistiquées : Intentions, moyens, manières et connaissances convergentes des adversaires | |
Contributions à la sémantique de la programmation logique | |
Correct information flow tracking for Linux operating systems. | |
Éléments de mathématiques discrètes : cours, exercices résolus, implémentations avec les langages Python et OCaml | |
Extraction de code fonctionnel certifié à partir de spécifications inductives | |
Logique pour l'informatique | |
Preuves d'équivalence de programmes logiques | |
Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C. | |
Specifying and verifying high-level requirements on large programs : application to security of C programs | |
Suivi de flux d'information correct pour les systèmes d'exploitation Linux | |
Understanding sophisticated threats. |