Mathieu Jaume

23 papers B 2C 1Misc 3Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack Campaigns.
IEEE Trans. Netw. Serv. Manag.
Aimad Berady, Mathieu Jaume, Valérie Viet Triem Tong, Gilles Guette
2021 J jnl
From TTP to IoC: Advanced Persistent Graphs for Threat Hunting.
IEEE Trans. Netw. Serv. Manag.
Aimad Berady, Mathieu Jaume, Valérie Viet Triem Tong, Gilles Guette
2017 B conf
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory.
SEFM
Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong
2017 — conf
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux.
FormaliSE@ICSE
Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong
2014 — conf
Teaching Formal Methods and Discrete Mathematics.
F-IDE
Mathieu Jaume, Théo Laurent
2013 Misc conf
Secure States versus Secure Executions - From Access Control to Flow Control.
ICISS
Mathieu Jaume, Radoniaina Andriatsimandefitra, Valérie Viet Triem Tong, Ludovic Mé
2012 — conf
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
PLAS
Damien Doligez, Mathieu Jaume, Renaud Rioboo
2012 — conf
Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties.
IEEE Symposium on Security and Privacy Workshops
Mathieu Jaume
2012 J jnl
Spécification et mécanisme de détection de flots d'information illégaux.
Tech. Sci. Informatiques
Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet
2011 Misc conf
Flow Based Interpretation of Access Control: Detection of Illegal Information Flows.
ICISS
Mathieu Jaume, Valérie Viet Triem Tong, Ludovic Mé
2011 — conf
Formal Specification and Validation of Security Policies.
FPS
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
2010 Misc conf
Security Rules
ICISS
Mathieu Jaume
2008 C conf
A Formal Comparison of the Bell & LaPadula and RBAC Models.
IAS
Lionel Habib, Mathieu Jaume, Charles Morisset
2008 J jnl
Un cadre sémantique pour le contrôle d'accès.
Tech. Sci. Informatiques
Mathieu Jaume, Charles Morisset
2005 J jnl
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs.
Tech. Sci. Informatiques
David Delahaye, Mathieu Jaume, Virgile Prevosto
2005 — conf
Formalisation and implementation of Access control models.
ITCC (1)
Mathieu Jaume, Charles Morisset
2003 — conf
Réutilisation de preuves formelles : une étude pour le système FoC.
JFLA
Catherine Dubois, J. Grandguillot, Mathieu Jaume
2002 J jnl
On Greatest Fixpoint Semantics of Logic Programming.
J. Log. Comput.
Mathieu Jaume
2000 B conf
Logic Programming and Co-inductive Definitions.
CSL
Mathieu Jaume
2000 — conf
Preuves infinies en Programmation logique.
JFPLC
Mathieu Jaume
1999 J jnl
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.
J. Autom. Reason.
Mathieu Jaume
1999 — —
Contributions à la sémantique de la programmation logique.
Mathieu Jaume
1997 — conf
Formalisation de la SLD-résolution dans le calcul des constructions inductives.
JFPLC
Mathieu Jaume