Frederic Tronel

Laboratory

Institute for Research in Computer Science and Random Systems

Website

Publications (45)

Communication at a conference 22/10/2025

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

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

Conference poster 21/05/2025

Fuzzing macOS Kernel Extensions

Yaëlle Vinçont , Frederic Tronel

Communication at a conference 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 at a conference 28/06/2022

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

Simon Rokicki , Isabelle Puaut , Guillaume Hiet , Frederic Tronel

Communication at a conference 06/09/2021

DAMASCUS: 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 at a conference 15/05/2019

Configurable and dynamically adaptive binary protection platform

Kevin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frederic Tronel

Communication at a conference 06/11/2017

Bitcoin has a Distributed Shared Register

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

Communication at a conference 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 at a conference 01/06/2017

Correct information flow tracking under Linux

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

Communication at a conference 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 at a conference 15/01/2017

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

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

Communication at a conference 27/06/2016

The Cardinal Abstraction for Quantitative Information Flow

Mounir Assaf , Julien Signoles , Eric Totel , Frederic Tronel

Communication at a conference 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 at a conference 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 at a conference 20/08/2014

A secure two-phase data deduplication scheme

Pierre Meye , Philippe Raipin , Emmanuelle Anceaume , Frederic Tronel

Article in a journal 26/06/2014

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

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

Communication at a conference 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 at a conference 01/01/2014

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

Pierre Meye , Philippe Raipin , Emmanuelle Anceaume , Frederic Tronel

Communication at a conference 16/09/2013

Hybrid information flow monitor for a pointer-aware language

Mounir Assaf , Julien Signoles , Eric Totel , Frederic Tronel

Report 03/07/2013

Hybrid information flow monitor for a pointer-aware language

Mounir Assaf , Julien Signoles , Eric Totel , Frederic Tronel

Communication at a conference 02/07/2013

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

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

Communication at a conference 17/04/2013

Program Transformation for Non-interference Verification on Programs with Pointers

Mounir Assaf , Julien Signoles , Eric Totel , Frederic Tronel

Communication at a conference 10/10/2012

Detecting Attacks Against Data in Web Applications

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

Communication at a conference 01/02/2012

A taint marking approach to confidentiality violation detection

Christophe Hauser , Jason Reid , Colin Fidge , Frederic Tronel

Communication at a conference 28/11/2011

Implementing information flow protection policies in the Android environment

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

Article in a journal 11/08/2011

Dependability Evaluation of Cluster-based Distributed Systems

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

Communication at a conference 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 , Eric Totel , Christophe Bidan , Guillaume Hiet , Guillaume Piolle , Frederic Tronel , Valerie Viet Triem Tong

Communication at a conference 27/06/2011

Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems

Emmanuelle Anceaume , Bruno Sericola , Romaric Ludinard , Frederic Tronel