Frederic Tronel

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 2

Top Topics

Intrusion Detection

Information Flows

Distributed Storage

Top Venues

Publications

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