Frederic Tronel

Laboratoire

Institut de Recherche en Informatique et Systèmes Aléatoires

Publications (44)

Communication dans un congrès 18/11/2025

A dependable intrusion detection architecture based on agreement services

Michel Hurfin , Jean-Pierre Le Narzul , Frédéric Majorczyk , Ludovic Mé , Ayda Saidane , Éric Totel , Frederic Tronel

Communication dans un congrès 18/11/2025

Detecting illegal system calls using a data-oriented detection model

Jonathan-Christofer Demay , Frédéric Majorczyk , Éric Totel , Frederic Tronel

Communication dans un congrès 27/10/2025

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

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

Communication dans un congrès 27/10/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 27/10/2025

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

Simon Rokicki , Isabelle Puaut , Guillaume Hiet , Frederic Tronel

Article dans une revue 22/10/2025

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 22/10/2025

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 16/10/2025

Bitcoin a Distributed Shared Register

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

Rapport 27/09/2025

Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components

Frédéric Lang , Hubert Garavel , Frederic Tronel

Poster de conférence 25/07/2025

Fuzzing des Extensions Noyau de macOS

Yaëlle Vinçont , Frederic Tronel

Communication dans un congrès 21/07/2025

Towards Better CFG Layouts

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

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

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

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

A secure two-phase data deduplication scheme

Pierre Meye , Philippe Raipin , Emmanuelle Anceaume , Frederic Tronel

Communication dans un congrès 28/03/2025

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

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

Rapport 28/03/2025

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 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

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

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

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

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

Communication dans un congrès 28/03/2025

A taint marking approach to confidentiality violation detection

Christophe Hauser , Jason Reid , Colin Fidge , Frederic Tronel

Communication dans un congrès 28/03/2025

Program Transformation for Non-interference Verification on Programs with Pointers

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

Communication dans un congrès 28/03/2025

Information Flow Control for Intrusion Detection derived from MAC Policy

Stéphane Geller , Christophe Hauser , 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

Suivi de flux d'information correct sous Linux

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

Proceedings 28/03/2025

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

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

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

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