Frederic Tronel

Laboratoire

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

Site WEB

Publications (58)

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 , Frédéric Tronel , Guillaume Hiet , Frederic Tronel

Communication dans un congrès 06/11/2017

Bitcoin a Distributed Shared Register

Emmanuelle Anceaume , Romaric Ludinard , Maria Potop-Butucaru , Frédéric Tronel , 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 , Frédéric Tronel , Valérie Viet Triem Tong , 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 , Frédéric Tronel , Valérie Viet Triem Tong , 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 , Frédéric Tronel , Valérie Viet Triem Tong , 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 , Frédéric Tronel , Frederic Tronel

Communication dans un congrès 27/06/2016

The Cardinal Abstraction for Quantitative Information Flow

Mounir Assaf , Julien Signoles , Éric Totel , Frédéric Tronel , 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 , Frédéric Tronel , Valérie Viet Triem Tong , 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 , Guillaume Piolle , Frédéric Tronel , Valérie Viet Triem Tong , 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 , Frédéric Tronel , Emmanuelle Anceaume , Frederic Tronel