Frederic Tronel

Laboratoire

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

Publications (37)

Communication dans un congrès 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ès 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ès 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ès 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ès 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ès 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

Communication dans un congrès 28/03/2025

A taint marking approach to confidentiality violation detection

Christophe Hauser , Frederic Tronel , Jason Reid , Colin Fidge

Communication dans un congrès 28/03/2025

Program Transformation for Non-interference Verification on Programs with Pointers

Mounir Assaf , Julien Signoles , Frederic Tronel , Eric Totel