Frederic Tronel

23 papers A 5B 3C 4Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2022 B conf
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems.
ECRTS
Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut
2017 — conf
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux.
FormaliSE@ICSE
Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong
2014 — conf
Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP.
HPCS
Pierre Meye, Philippe Raipin Parvédy, Frederic Tronel, Emmanuelle Anceaume
2013 — conf
Intrusion detection in distributed systems, an approach based on taint marking.
ICC
Christophe Hauser, Frederic Tronel, Colin J. Fidge, Ludovic Mé
2012 C conf
Detecting attacks against data in web applications.
CRiSIS
Romaric Ludinard, Eric Totel, Frederic Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
2011 — conf
From SSIR to CIDre: A New Security Research Group in Rennes, France.
SysSec@DIMVA
Emmanuelle Anceaume, Christophe Bidan, Sébastien Gambs, Guillaume Hiet, Michel Hurfin, Ludovic Mé, Guillaume Piolle, Nicolas Prigent, Eric Totel, Frederic Tronel, Valérie Viet Triem Tong
2011 A conf
Modeling and evaluating targeted attacks in large scale dynamic systems.
DSN
Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frederic Tronel
2009 C conf
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems.
SSS
Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frederic Tronel
2006 A conf
Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays.
DISC
François Bonnet, Frederic Tronel, Spyros Voulgaris
2003 — conf
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.
FMOODS
Frederic Tronel, Frédéric Lang, Hubert Garavel
2001 C conf
An Adaptive Failure Detection Protocol.
PRDC
Christof Fetzer, Michel Raynal, Frederic Tronel
2001 B conf
Eva: An Event-Based Framework for Developing Specialized Communication Protocols.
NCA
Francisco Vilar Brasileiro, Fabíola Greve, Frederic Tronel, Michel Hurfin, Jean-Pierre Le Narzul
2001 C conf
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework.
ISADS
Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel
2000 A conf
Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes.
ICDCS
Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000 J jnl
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors.
IEEE Trans. Parallel Distributed Syst.
Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000 J jnl
From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems.
Inf. Process. Lett.
Achour Mostéfaoui, Michel Raynal, Frederic Tronel
2000 A conf
The Best of Both Worlds: A Hybrid Approach to Solve Consensus.
DSN
Achour Mostéfaoui, Michel Raynal, Frederic Tronel
1999 B conf
A General Framework to Solve Agreement Problems.
SRDS
Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel
1999 J jnl
Group membership failure detection: a simple protocol and its probabilistic analysis.
Distributed Syst. Eng.
Michel Raynal, Frederic Tronel
1999 A conf
On Classes of Problems in Asynchronous Distributed Systems with Process Crashes.
ICDCS
Eddy Fromentin, Michel Raynal, Frederic Tronel
1999 — conf
Probabilistic analysis of a group failure detection protocol.
WORDS (Jan.)
Roger Bollo, Jean-Pierre Le Narzul, Michel Raynal, Frederic Tronel
1999 J jnl
Restricted failure detectors: Definition and reduction protocols.
Inf. Process. Lett.
Michel Raynal, Frederic Tronel
1997 — conf
A Solution to Atomic Commitment Based on an Extended Consensus Protocol.
FTDCS
Michel Hurfin, Frederic Tronel