Frederic Tronel

Laboratoire

IRISA

Site WEB

Publications (45)

Communication dans un congrès 22/10/2025

HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection

Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Poster de conférence 21/05/2025

Fuzzing des Extensions Noyau de macOS

Yaëlle Vinçont , Frederic Tronel

Communication dans un congrès 01/01/2025

Towards Better CFG Layouts

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

01/01/2025

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

Guillaume – Hiet , Jean-Christophe Prévotet , Guillaume Hiet , Frederic Tronel , Pierre Wilke

Communication dans un congrès 28/06/2022

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

Simon Rokicki , Isabelle Puaut , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 06/09/2021

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification

Camille Le Bon , Erven Rohou , Frederic Tronel , Guillaume Hiet

Proceedings 01/01/2020

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

Jean-Louis Lanet , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 15/05/2019

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 06/11/2017

Bitcoin a Distributed Shared Register

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

Communication dans un congrès 08/09/2017

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 01/06/2017

Suivi de flux d'information correct sous Linux

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

Communication dans un congrès 27/05/2017

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 15/01/2017

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf , David A Naumann , Julien Signoles , Éric Totel , Frederic Tronel

Communication dans un congrès 27/06/2016

The Cardinal Abstraction for Quantitative Information Flow

Mounir Assaf , Julien Signoles , Éric Totel , Frederic Tronel

Communication dans un congrès 01/09/2015

Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase

Laurent Georget , Frederic Tronel , Valerie Viet Triem Tong

Communication dans un congrès 19/04/2015

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

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

Communication dans un congrès 20/08/2014

A secure two-phase data deduplication scheme

Pierre Meye , Philippe Raipin , Emmanuelle Anceaume , Frederic Tronel

Article dans une revue 26/06/2014

An Invariant-based Approach for Detecting Attacks against Data in Web Applications

Romaric Ludinard , Éric Totel , Vincent Nicomette , Mohamed Kaâniche , Eric Alata , Rim Akrout , Yann Bachy , Frederic Tronel

Communication dans un congrès 10/01/2014

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

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

Communication dans un congrès 01/01/2014

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

Pierre Meye , Philippe Raipin , Emmanuelle Anceaume , Frederic Tronel

Communication dans un congrès 16/09/2013

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

Mounir Assaf , Julien Signoles , Éric Totel , Frederic Tronel

Rapport 03/07/2013

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

Mounir Assaf , Julien Signoles , Éric Totel , Frederic Tronel

Communication dans un congrès 02/07/2013

Intrusion detection in distributed systems, an approach based on taint marking

Christophe Hauser , Colin Fidge , Ludovic Mé , Frederic Tronel

Communication dans un congrès 17/04/2013

Program Transformation for Non-interference Verification on Programs with Pointers

Mounir Assaf , Julien Signoles , Éric Totel , Frederic Tronel

Communication dans un congrès 10/10/2012

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Éric Totel , Vincent Nicomette , Mohamed Kaâniche , Eric Alata , Rim Akrout , Yann Bachy , Frederic Tronel

Communication dans un congrès 01/02/2012

A taint marking approach to confidentiality violation detection

Christophe Hauser , Jason Reid , Colin Fidge , Frederic Tronel

Communication dans un congrès 28/11/2011

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

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

Article dans une revue 11/08/2011

Dependability Evaluation of Cluster-based Distributed Systems

Emmanuelle Anceaume , Francisco Brasiliero , Romaric Ludinard , Bruno Sericola , Frederic Tronel

Communication dans un congrès 06/07/2011

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

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

Communication dans un congrès 27/06/2011

Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems

Emmanuelle Anceaume , Bruno Sericola , Romaric Ludinard , Frederic Tronel