Ingénierie
Equipe Modeling and Verification (MoVe)
Laboratoire d’Informatique de Paris 6
Sorbonne Université
CNRS UMR 7606
Biographie
Missions
Responsable des stages :
Logique
Développement de logiciels sécurisés
Intervention dans les stages :
- Logique
- Développement de logiciels sécurisés
Techniques maîtrisées :
- Application des méthodes formelles à la sécurité (contrôle d’accès, contrôle de flots d’information), sémantique des langages de programmation
Laboratoire de recherche actuel :
- Equipe Modeling and Verification (MoVe), Laboratoire d’Informatique de Paris 6 – CNRS UMR 7606
Références
Publications sélectionnées
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory”, 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), LNCS, Trento, Italy, pp. 1-16 (2017)
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Suivi de flux d’information correct sous Linux”, 16èmes journées AFADL (Approches formelles dans l’assistance au développement de logiciels), Montpellier, France, pp. 19-26 (2017)
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux”, 5th International FME Workshop on Formal Methods in Software Engineering, Buenos Aires, Argentina, pp. 10-16, (IEEE Press) (2017)
- M. Jaume : “Eléments de mathématiques discrètes – Cours, exercices résolus, implémentations avec les langages Python et OCaml”, (Ellipses), (ISBN: 978-2340014800) (2016)