Frederic Tronel

Laboratoire

Confidentialté, Intégrité, Disponibilité, Répartition

Publications (31)

Communication dans un congrè 07/11/2024

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrè 07/11/2024

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrè 07/11/2024

Plateforme de protection de binaires configurable et dynamiquement adaptative

Kévin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frederic Tronel

Communication dans un congrè 07/11/2024

Suivi de flux d'information correct sous Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Proceedings 07/11/2024

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)

Guillaume Hiet , Frederic Tronel , Jean-Louis Lanet

Communication dans un congrè 06/11/2024

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP

Pierre Meye , Philippe Raipin , Frederic Tronel , Emmanuelle Anceaume

Communication dans un congrè 06/11/2024

From SSIR to CIDre: a New Security Research Group in Rennes

Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin , Ludovic Mé , Guillaume Piolle , Nicolas Prigent , Eric Totel , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrè 06/11/2024

Towards a Formal Semantics for System Calls in terms of Information Flow

Laurent Georget , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong , Mathieu Jaume

Rapport 06/11/2024

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

Mounir Assaf , Julien Signoles , Frederic Tronel , Eric Totel

Communication dans un congrè 06/11/2024

Mise en œuvre de politiques de protection des flux d'information dans l'environnement Android

Valerie Viet Triem Tong , Radoniaina Andriatsimandefitra , Stéphane Geller , Simon Boche , Frederic Tronel , Christophe Hauser