Frederic Tronel

Laboratoire

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

Publications (37)

Communication dans un congrè 08/04/2025

Towards Better CFG Layouts

Jack Royer , Frederic Tronel , Yaëlle Vinçont

04/04/2025

An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines

Lionel Hemmerlé , Guillaume – Hiet , Frederic Tronel , Pierre Wilke , Jean-Christophe Prevotet

Communication dans un congrè 28/03/2025

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è 28/03/2025

Toward a distributed storage system leveraging the DSL infrastructure of an ISP

Pierre Meye , Philippe Raïpin-Parvédy , Frederic Tronel , Emmanuelle Anceaume

Communication dans un congrè 28/03/2025

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 28/03/2025

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

Mounir Assaf , Julien Signoles , Frederic Tronel , Eric Totel

Communication dans un congrè 28/03/2025

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è 28/03/2025

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è 28/03/2025

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è 28/03/2025

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