Frédéric Tronel

According to our database, Frédéric Tronel authored at least 40 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems.

Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification.

Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2021

2020

Preface of the 2^nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020).

Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2017

Bitcoin a Distributed Shared Register.

Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 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

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 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

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

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

Proceedings of the 3rd IEEE Working Conference on Software Visualization, 2015

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

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP.

Pierre Meye, Philippe Raipin Parvédy, Frederic Tronel, Emmanuelle Anceaume

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

A Secure Two-Phase Data Deduplication Scheme.

Pierre Meye, Philippe Raipin Parvédy, Frédéric Tronel, Emmanuelle Anceaume

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013

Program Transformation for Non-interference Verification on Programs with Pointers.

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

Proceedings of the Security and Privacy Protection in Information Processing Systems, 2013

Intrusion detection in distributed systems, an approach based on taint marking.

Christophe Hauser, Frederic Tronel, Colin J. Fidge, Ludovic Mé

Proceedings of IEEE International Conference on Communications, 2013

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

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

A taint marking approach to confidentiality violation detection.

Christophe Hauser, Frédéric Tronel, Jason Reid, Colin J. Fidge

Proceedings of the Tenth Australasian Information Security Conference, 2012

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

Detecting Illegal System Calls Using a Data-Oriented Detection Model.

Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

Information Flow Control for Intrusion Detection Derived from MAC Policy.

Stephane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong

Proceedings of IEEE International Conference on Communications, 2011

Modeling and evaluating targeted attacks in large scale dynamic systems.

Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frederic Tronel

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

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

Proceedings of the First SysSec Workshop 2011, 2011

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

Proceedings of the Stabilization, 2009

Automatic Software Instrumentation for the Detection of Non-control-data Attacks.

Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel

Proceedings of the Recent Advances in Intrusion Detection, 12th International Symposium, 2009

Analytical Study of Adversarial Strategies in Cluster-based Overlays.

Emmanuelle Anceaume, Francisco V. Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data.

Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel

Proceedings of the CRiSIS 2009, 2009

2006

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays.

François Bonnet, Frederic Tronel, Spyros Voulgaris

Proceedings of the Distributed Computing, 20th International Symposium, 2006

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

Proceedings of the Stabilization, 2006

2003

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.

Frederic Tronel, Frédéric Lang, Hubert Garavel

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

2001

An Adaptive Failure Detection Protocol.

Christof Fetzer, Michel Raynal, Frederic Tronel

Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 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

Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework.

Fabíola Greve, Michel Hurfin, Michel Raynal, Frederic Tronel

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

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

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 Prone to Process Crashes.

Jean-Michel Hélary, Michel Hurfin, Achour Mostéfaoui, Michel Raynal, Frederic Tronel

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

The Best of Both Worlds: A Hybrid Approach to Solve Consensus.

Achour Mostéfaoui, Michel Raynal, Frederic Tronel

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Restricted failure detectors: Definition and reduction protocols.

Michel Raynal, Frederic Tronel

Inf. Process. Lett., 1999

Group membership failure detection: a simple protocol and its probabilistic analysis.

Michel Raynal, Frederic Tronel

Distributed Syst. Eng., 1999

Probabilistic analysis of a group failure detection protocol.

Roger Bollo, Jean-Pierre Le Narzul, Michel Raynal, Frederic Tronel

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

A General Framework to Solve Agreement Problems.

Michel Hurfin, Raimundo A. Macêdo, Michel Raynal, Frederic Tronel

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

On Classes of Problems in Asynchronous Distributed Systems with Process Crashes.

Eddy Fromentin, Michel Raynal, Frederic Tronel

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1997

A Solution to Atomic Commitment Based on an Extended Consensus Protocol.

Michel Hurfin, Frederic Tronel

Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997