A Solution to Atomic Commitment Based on an Extended Consensus Protocol. - Michel Hurfin; Frederic Tronel (FTDCS, 1997)

On Classes of Problems in Asynchronous Distributed Systems with Process Crashes. - Eddy Fromentin; Michel Raynal; Frederic Tronel (ICDCS, 1999)

A General Framework to Solve Agreement Problems. - Michel Hurfin; Raimundo A. Macêdo 001; Michel Raynal; Frederic Tronel (SRDS, 1999)

Probabilistic analysis of a group failure detection protocol. - Roger Bollo; Jean-Pierre Le Narzul; Michel Raynal; Frederic Tronel (WORDS (Jan.), 1999)

Group membership failure detection: a simple protocol and its probabilistic analysis. - Michel Raynal; Frederic Tronel (Distributed Syst. Eng., 1999)

Restricted failure detectors: Definition and reduction protocols. - Michel Raynal; Frederic Tronel (Inf. Process. Lett., 1999)

The Best of Both Worlds: A Hybrid Approach to Solve Consensus. - Achour Mostéfaoui; Michel Raynal; Frederic Tronel (DSN, 2000)

Computing Global Functions in Asynchronous Distributed Systems Prone to Process Crashes. - Jean-Michel Hélary; Michel Hurfin; Achour Mostéfaoui; Michel Raynal; Frederic Tronel (ICDCS, 2000)

From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems. - Achour Mostéfaoui; Michel Raynal; Frederic Tronel (Inf. Process. Lett., 2000)

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors. - Jean-Michel Hélary; Michel Hurfin; Achour Mostéfaoui; Michel Raynal; Frederic Tronel (IEEE Trans. Parallel Distributed Syst., 2000)

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. - Fabíola Greve; Michel Hurfin; Michel Raynal; Frederic Tronel (ISADS, 2001)

Eva: An Event-Based Framework for Developing Specialized Communication Protocols. - Francisco Vilar Brasileiro; Fabíola Greve; Frederic Tronel; Michel Hurfin; Jean-Pierre Le Narzul (NCA, 2001)

An Adaptive Failure Detection Protocol. - Christof Fetzer; Michel Raynal; Frederic Tronel (PRDC, 2001)

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components. - Frederic Tronel; Frédéric Lang; Hubert Garavel (FMOODS, 2003)

A Dependable Intrusion Detection Architecture Based on Agreement Services. - Michel Hurfin; Jean-Pierre Le Narzul; Frédéric Majorczyk; Ludovic Mé; Ayda Saïdane; Eric Totel; Frédéric Tronel (SSS, 2006)

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays. - François Bonnet 001; Frederic Tronel; Spyros Voulgaris (DISC, 2006)

SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data. - Jonathan-Christofer Demay; Eric Totel; Frédéric Tronel (CRiSIS, 2009)

Analytical Study of Adversarial Strategies in Cluster-based Overlays. - Emmanuelle Anceaume; Francisco V. Brasileiro; Romaric Ludinard; Bruno Sericola; Frédéric Tronel (PDCAT, 2009)

Automatic Software Instrumentation for the Detection of Non-control-data Attacks. - Jonathan-Christofer Demay; Eric Totel; Frédéric Tronel (RAID, 2009)

Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. - Emmanuelle Anceaume; Francisco Vilar Brasileiro; Romaric Ludinard; Bruno Sericola; Frederic Tronel (SSS, 2009)

From SSIR to CIDre: A New Security Research Group in Rennes, France. - 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 (SysSec@DIMVA, 2011)

Modeling and evaluating targeted attacks in large scale dynamic systems. - Emmanuelle Anceaume; Bruno Sericola; Romaric Ludinard; Frederic Tronel (DSN, 2011)

Information Flow Control for Intrusion Detection Derived from MAC Policy. - Stephane Geller; Christophe Hauser; Frédéric Tronel; Valérie Viet Triem Tong (ICC, 2011)

Detecting Illegal System Calls Using a Data-Oriented Detection Model. - Jonathan-Christofer Demay; Frédéric Majorczyk; Eric Totel; Frédéric Tronel (SEC, 2011)

Dependability Evaluation of Cluster-Based Distributed Systems. - Emmanuelle Anceaume; Francisco Vilar Brasileiro; Romaric Ludinard; Bruno Sericola; Frédéric Tronel (Int. J. Found. Comput. Sci., 2011)

A taint marking approach to confidentiality violation detection. - Christophe Hauser; Frédéric Tronel; Jason Reid; Colin J. Fidge (AISC, 2012)

Detecting attacks against data in web applications. - Romaric Ludinard; Eric Totel; Frederic Tronel; Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Rim Akrout; Yann Bachy (CRiSIS, 2012)

Intrusion detection in distributed systems, an approach based on taint marking. - Christophe Hauser; Frederic Tronel; Colin J. Fidge; Ludovic Mé (ICC, 2013)

Program Transformation for Non-interference Verification on Programs with Pointers. - Mounir Assaf; Julien Signoles; Frédéric Tronel; Eric Totel (SEC, 2013)

A Secure Two-Phase Data Deduplication Scheme. - Pierre Meye; Philippe Raipin Parvédy; Frédéric Tronel; Emmanuelle Anceaume (HPCC/CSS/ICESS, 2014)

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP. - Pierre Meye; Philippe Raipin Parvédy; Frederic Tronel; Emmanuelle Anceaume (HPCS, 2014)

An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications. - Romaric Ludinard; Eric Totel; Frédéric Tronel; Vincent Nicomette; Mohamed Kaâniche; Eric Alata; Rim Akrout; Yann Bachy (Int. J. Secur. Softw. Eng., 2014)

Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. - Laurent Georget; Frédéric Tronel; Valérie Viet Triem Tong (VISSOFT, 2015)

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. - Laurent Georget; Mathieu Jaume; Frederic Tronel; Guillaume Piolle; Valérie Viet Triem Tong (FormaliSE@ICSE, 2017)

Hypercollecting semantics and its application to static analysis of information flow. - Mounir Assaf; David A. Naumann; Julien Signoles; Eric Totel; Frédéric Tronel (POPL, 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 (SEFM, 2017)

Bitcoin a Distributed Shared Register. - Emmanuelle Anceaume; Romaric Ludinard; Maria Potop-Butucaru; Frédéric Tronel (SSS, 2017)

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020). - Guillaume Hiet; Frédéric Tronel; Jean-Louis Lanet (EuroS&P Workshops, 2020)

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification. - Camille Le Bon; Erven Rohou; Frédéric Tronel; Guillaume Hiet (EuroS&P Workshops, 2021)

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems. - Nicolas Bellec 001; Guillaume Hiet; Simon Rokicki; Frederic Tronel; Isabelle Puaut (ECRTS, 2022)