Frederic Tronel

Laboratoire

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

Publications (38)

Communication dans un congrès 30/04/2025

Bitcoin a Distributed Shared Register

Emmanuelle Anceaume , Romaric Ludinard , Maria Potop-Butucaru , Frederic Tronel

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

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf , David A Naumann , Julien Signoles , Eric Totel , Frederic Tronel

Communication dans un congrès 28/03/2025

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

Pierre Meye , Philippe Raipin , Frederic Tronel , Emmanuelle Anceaume

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