Frederic Tronel

Publications :

  • Communication on a congress - 31 documents
    • Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frédéric Tronel, Isabelle Puaut. RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems, 2022-07-05. (https://inria.hal.science/hal-03641576)
    • Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet. DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification, 2021-09-06. (https://hal.science/hal-03340008)
    • Kévin Le Bon, Byron Hawkins, Erven Rohou, Guillaume Hiet, Frédéric Tronel. Plateforme de protection de binaires configurable et dynamiquement adaptative, 2019-05-15. (https://inria.hal.science/hal-02385216)
    • Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel. Bitcoin a Distributed Shared Register, 2017-11-05. (https://hal.science/hal-01522360v2)
    • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory, 2017-09-04. (https://hal.sorbonne-universite.fr/hal-01535949)
    • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux, 2017-06. (https://hal.sorbonne-universite.fr/hal-01535937)
    • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux, 2017-05-27. (https://inria.hal.science/hal-01535862)
    • Mounir Assaf, David A Naumann, Julien Signoles, Eric Totel, Frédéric Tronel. Hypercollecting Semantics and its Application to Static Analysis of Information Flow, 2017-01-15. (https://inria.hal.science/hal-01618360)
    • Mounir Assaf, Julien Signoles, Eric Totel, Frédéric Tronel. The Cardinal Abstraction for Quantitative Information Flow, 2016-06-27. (https://inria.hal.science/hal-01334604)
    • Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase, 2015-09-27. (https://hal.science/hal-01213233)
    • Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong, Mathieu Jaume. Towards a Formal Semantics for System Calls in terms of Information Flow, 2015-04-19. (https://hal.science/hal-01149471)
    • Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle Anceaume. A secure two-phase data deduplication scheme, 2014-08-20. (https://hal.science/hal-01076918)
    • Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle Anceaume. Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP, 2014-07-21. (https://hal.science/hal-01076907)
    • Pierre Meye, Philippe Raïpin-Parvédy, Frédéric Tronel, Emmanuelle Anceaume. Toward a distributed storage system leveraging the DSL infrastructure of an ISP, 2014-01-10. (https://hal.science/hal-00924051)
    • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs, 2013-09-16. (https://inria.hal.science/hal-00909293)
    • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Program Transformation for Non-interference Verification on Programs with Pointers, 2013-07-08. (https://inria.hal.science/hal-00814671v2)
    • Christophe Hauser, Frédéric Tronel, Colin Fidge, Ludovic Mé. Intrusion detection in distributed systems, an approach based on taint marking, 2013-06-09. (https://inria.hal.science/hal-00840338)
    • Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy. Detecting Attacks Against Data in Web Applications, 2012-10-10. (https://centralesupelec.hal.science/hal-00735997)
    • Christophe Hauser, Frédéric Tronel, Jason Reid, Colin Fidge. A taint marking approach to confidentiality violation detection, 2012-01-30. (https://centralesupelec.hal.science/hal-00736045)
    • Valérie Viet Triem Tong, Radoniaina Andriatsimandefitra, Stéphane Geller, Simon Boche, Frédéric Tronel, Christophe Hauser. Mise en œuvre de politiques de protection des flux d'information dans l'environnement Android, 2011-11-28. (https://centralesupelec.hal.science/hal-00656933)
    • Emmanuelle Anceaume, Christophe Bidan, Sébastien Gambs, Guillaume Hiet, Michel Hurfin, Ludovic Mé, Guillaume Piolle, Nicolas Prigent, Eric Totel, Frédéric Tronel, Valérie Viet Triem Tong. From SSIR to CIDre: a New Security Research Group in Rennes, 2011-07-06. (https://centralesupelec.hal.science/hal-00656940)
    • Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel. Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems, 2011-06-27. (https://hal.science/hal-00650095)
    • Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel. Detecting illegal system calls using a data-oriented detection model, 2011-06-07. (https://centralesupelec.hal.science/hal-00657971)
    • Stéphane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Control for Intrusion Detection derived from MAC Policy, 2011-06-05. (https://centralesupelec.hal.science/hal-00647116)
    • Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré, 2011-05-10. (https://inria.hal.science/inria-00586875)
    • Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel. Generation et evaluation de mecanismes de detection d'intrusion au niveau applicatif, 2010-05-18. (https://centralesupelec.hal.science/hal-00536661)
    • Emmanuelle Anceaume, F. Brasiliero, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems, 2009-11-03. (https://hal.science/hal-00420559)
    • Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel. SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data, 2009-10. (https://centralesupelec.hal.science/hal-00424574)
    • Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel, Francisco V. Brasileiro. Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement, 2009. (https://inria.hal.science/hal-00789582)
    • Emmanuelle Anceaume, Romaric Ludinard, Frédéric Tronel, F. Brasiliero, Bruno Sericola. Analytical Study of Adversarial Strategies in Cluster-based Overlays, 2009. (https://hal.science/hal-00408871)
    • Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saidane, Eric Totel, Frédéric Tronel. A dependable intrusion detection architecture based on agreement services, 2006-11. (https://centralesupelec.hal.science/hal-00269302)
  • PROCEEDINGS - 1 document
    • Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet. Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020), 2020. (https://hal.science/hal-03136790)
  • Article in a review - 2 documents
    • Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy. An Invariant-based Approach for Detecting Attacks against Data in Web Applications, 2014-06-26. (https://inria.hal.science/hal-01083296)
    • Emmanuelle Anceaume, Francisco Brasiliero, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Dependability Evaluation of Cluster-based Distributed Systems, 2011-08-11. (https://hal.science/hal-00650086)
  • Report - 6 documents
    • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs, 2013-07-03. (https://inria.hal.science/hal-00841048)
    • Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel. Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains, 2010-12. (https://inria.hal.science/inria-00546039)
    • Emmanuelle Anceaume, Francisco Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Dependability Evaluation of Cluster-based Systems, 2010. (https://inria.hal.science/inria-00463468)
    • Frédéric Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components, 2003-11. (https://inria.hal.science/inria-00071572)
    • Fabiola Greve, Michel Hurfin, Michel Raynal, Frédéric Tronel. Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework, 2000. (https://inria.hal.science/inria-00072800)
    • Jean-Michel Hélary, Michel Hurfin, Achour Mostefaoui, Michel Raynal, Frédéric Tronel. Computing Global Functions in Asynchronous Distributed Systems with Process Crashes, 1999. (https://inria.hal.science/inria-00073017)
  • Other submission - 1 document