Skip to content
cs-conference-ranking.org

Mathieu Jaume

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

8

Venues

6

Active years

2000–2017

Best venue rank

A*

Where they publish

Papers

8 indexed papers, newest first.

YearVenueTitleAuthors
2017ICSEVerifying the Reliability of Operating System-Level Information Flow Control Systems in Linux.Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valrie Viet Triem Tong
2017SEFMInformation Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory.Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frdric Tronel, Valrie Viet Triem Tong
2013ICISSSecure States versus Secure Executions - From Access Control to Flow Control.Mathieu Jaume, Radoniaina Andriatsimandefitra, Valrie Viet Triem Tong, Ludovic M
2012PLDIDevelopment 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
2012SPSemantic Comparison of Security Policies: From Access Control Policies to Flow Properties.Mathieu Jaume
2011ICISSFlow Based Interpretation of Access Control: Detection of Illegal Information Flows.Mathieu Jaume, Valrie Viet Triem Tong, Ludovic M
2010ICISSSecurity RulesMathieu Jaume
2000CSLLogic Programming and Co-inductive Definitions.Mathieu Jaume