Frederic Tronel

Laboratoire

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

Publications (58)

Article dans une revue 26/06/2014

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

Romaric Ludinard , Éric Totel , Frédéric Tronel , 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 , Frédéric Tronel , 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 , Frédéric Tronel , 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 , Frédéric Tronel , Éric Totel , Frederic Tronel

Rapport 03/07/2013

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

Mounir Assaf , Julien Signoles , Frédéric Tronel , É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 , Frédéric Tronel , 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 , Frédéric Tronel , Éric Totel , Frederic Tronel

Communication dans un congrès 10/10/2012

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Éric Totel , Frédéric Tronel , 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 , Frédéric Tronel , 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

Valérie Viet Triem Tong , Radoniaina Andriatsimandefitra , Stéphane Geller , Simon Boche , Frédéric Tronel , Christophe Hauser , Valerie Viet Triem Tong , Frederic Tronel