Mathieu Jaume - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2017

Verifying the Reliability of Operating System-Level Information Flow Control Systems in LinuxLaurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong. ICSE 2017: 10-16 [doi]

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared MemoryLaurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. SEFM 2017: 1-16 [doi]

2013

Secure States versus Secure Executions - From Access Control to Flow ControlMathieu Jaume, Radoniaina Andriatsimandefitra, Valérie Viet Triem Tong, Ludovic Mé. iciss 2013: 148-162 [doi]

2012

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environmentDamien Doligez, Mathieu Jaume, Renaud Rioboo. PLDI 2012: 9 [doi]

Semantic Comparison of Security Policies: From Access Control Policies to Flow PropertiesMathieu Jaume. sp 2012: 60-67 [doi]

2011

Formal Specification and Validation of Security PoliciesTony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner. fps 2012: 148-163 [doi]

Flow Based Interpretation of Access Control: Detection of Illegal Information FlowsMathieu Jaume, Valérie Viet Triem Tong, Ludovic Mé. iciss 2011: 72-86 [doi]

2010

Security Rules ::::versus:::: Security PropertiesMathieu Jaume. iciss 2010: 231-245 [doi]

2008

A Formal Comparison of the Bell & LaPadula and RBAC ModelsLionel Habib, Mathieu Jaume, Charles Morisset. IEEEias 2008: 3-8 [doi]

Un cadre sémantique pour le contrôle d accèsMathieu Jaume, Charles Morisset. tsi, 27(8):951-976, 2008. [doi]

2005

Coq, un outil pour l enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srsDavid Delahaye, Mathieu Jaume, Virgile Prevosto. tsi, 24(9):1139-1160, 2005. [doi]

Formalisation and implementation of Access control modelsMathieu Jaume, Charles Morisset. itcc 2005: 703-708 [doi]

2003

Réutilisation de preuves formelles : une étude pour le système FoCCatherine Dubois, J. Grandguillot, Mathieu Jaume. jfla 2003: 63-75

2002

On Greatest Fixpoint Semantics of Logic ProgrammingMathieu Jaume. logcom, 12(2):321-342, 2002. [doi]

2000

Logic Programming and Co-inductive DefinitionsMathieu Jaume. csl 2000: 343-355 [doi]

Preuves infinies en Programmation logiqueMathieu Jaume. jfplc 2000: 33-48

1999

A Full Formalization of SLD-Resolution in the Calculus of Inductive ConstructionsMathieu Jaume. JAR, 23(3-4):347-371, 1999.

Contributions à la sémantique de la programmation logiqueMathieu Jaume. PhD thesis, École des ponts ParisTech, Champs-sur-Marne, France, 1999. [doi]

1997

Formalisation de la SLD-résolution dans le calcul des constructions inductivesMathieu Jaume. jfplc 1997: 277

Sign in or sign up to see more results.

runs on WebDSL