Formalisation de la SLD-résolution dans le calcul des constructions inductives. - Mathieu Jaume (JFPLC, 1997)

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions. - Mathieu Jaume (J. Autom. Reason., 1999)

Contributions à la sémantique de la programmation logique. - Mathieu Jaume (1999)

Logic Programming and Co-inductive Definitions. - Mathieu Jaume (CSL, 2000)

Preuves infinies en Programmation logique. - Mathieu Jaume (JFPLC, 2000)

On Greatest Fixpoint Semantics of Logic Programming. - Mathieu Jaume (J. Log. Comput., 2002)

Réutilisation de preuves formelles : une étude pour le système FoC. - Catherine Dubois; J. Grandguillot; Mathieu Jaume (JFLA, 2003)

Formalisation and implementation of Access control models. - Mathieu Jaume; Charles Morisset (ITCC (1), 2005)

Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs. - David Delahaye; Mathieu Jaume; Virgile Prevosto (Tech. Sci. Informatiques, 2005)

A Formal Comparison of the Bell & LaPadula and RBAC Models. - Lionel Habib; Mathieu Jaume; Charles Morisset (IAS, 2008)

Un cadre sémantique pour le contrôle d'accès. - Mathieu Jaume; Charles Morisset (Tech. Sci. Informatiques, 2008)

Security Rules versus Security Properties. - Mathieu Jaume (ICISS, 2010)

Formal Specification and Validation of Security Policies. - Tony Bourdier; Horatiu Cirstea; Mathieu Jaume; Hélène Kirchner (FPS, 2011)

Flow Based Interpretation of Access Control: Detection of Illegal Information Flows. - Mathieu Jaume; Valérie Viet Triem Tong; Ludovic Mé (ICISS, 2011)

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. - Damien Doligez; Mathieu Jaume; Renaud Rioboo (PLAS, 2012)

Semantic Comparison of Security Policies: From Access Control Policies to Flow Properties. - Mathieu Jaume (IEEE Symposium on Security and Privacy Workshops, 2012)

Spécification et mécanisme de détection de flots d'information illégaux. - Mathieu Jaume; Valérie Viet Triem Tong; Guillaume Hiet (Tech. Sci. Informatiques, 2012)

Secure States versus Secure Executions - From Access Control to Flow Control. - Mathieu Jaume; Radoniaina Andriatsimandefitra; Valérie Viet Triem Tong; Ludovic Mé (ICISS, 2013)

Teaching Formal Methods and Discrete Mathematics. - Mathieu Jaume; Théo Laurent (F-IDE, 2014)

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. - Laurent Georget; Mathieu Jaume; Frederic Tronel; Guillaume Piolle; Valérie Viet Triem Tong (FormaliSE@ICSE, 2017)

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. - Laurent Georget; Mathieu Jaume; Guillaume Piolle; Frédéric Tronel; Valérie Viet Triem Tong (SEFM, 2017)

From TTP to IoC: Advanced Persistent Graphs for Threat Hunting. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE Trans. Netw. Serv. Manag., 2021)

PWNJUTSU dataset. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE DataPort, 2022)

PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack Campaigns. - Aimad Berady; Mathieu Jaume; Valérie Viet Triem Tong; Gilles Guette (IEEE Trans. Netw. Serv. Manag., 2022)