Frédéric Tronel

Identifiants chercheurs

IdHAL :

ftronel

ORCID :

0000-0002-2420-6105

IdRef :

075985314

Présentation

Publications

Article dans une revue (2)

An Invariant-based Approach for Detecting Attacks against Data in Web Applications Romaric Ludinard,Eric Totel,Frédéric Tronel,Vincent Nicomette,Mohamed Kaânicheet al. International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩ Article dans une revue hal-01083296v1
Dependability Evaluation of Cluster-based Distributed Systems Emmanuelle Anceaume,Francisco Brasiliero,Romaric Ludinard,Bruno Sericola,Frédéric Tronel International Journal of Foundations of Computer Science, 2011, 22 (5), pp.1123-1142. ⟨10.1142/S0129054111008593⟩ Article dans une revue hal-00650086v1

Communication dans un congrès (33)

HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection Lionel Hemmerlé,Guillaume Hiet,Frédéric Tronel,Pierre Wilke,Jean-Christophe Prévotet ISC 2025 - 28th Information Security Conference, Oct 2025, Seoul, South Korea. pp.431-451, ⟨10.1007/978-3-032-08124-7_25⟩ Communication dans un congrès hal-05469459v1
Towards Better CFG Layouts Jack Royer,Frédéric Tronel,Yaëlle Vinçont BAR 2025 - Workshop on Binary Analysis Research, Christophe Hauser; Jun Xu, Feb 2025, San Diego (CA), United States. pp.1-17, ⟨10.14722/bar.2025.23011⟩ Communication dans un congrès hal-04996939v1
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems Nicolas Bellec,Guillaume Hiet,Simon Rokicki,Frédéric Tronel,Isabelle Puaut ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩ Communication dans un congrès hal-03641576v1
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification Camille Le Bon,Erven Rohou,Frédéric Tronel,Guillaume Hiet SILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩ Communication dans un congrès hal-03340008v1
Plateforme de protection de binaires configurable et dynamiquement adaptative Kévin Le Bon,Byron Hawkins,Erven Rohou,Guillaume Hiet,Frédéric Tronel RESSI 2019 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2019, Erquy, France. pp.1-3 Communication dans un congrès hal-02385216v1
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 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩ Communication dans un congrès hal-01618360v1
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux Laurent Georget,Mathieu Jaume,Guillaume Piolle,Frédéric Tronel,Valérie Viet Triem Tong 5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩ Communication dans un congrès hal-01535862v1
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 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩ Communication dans un congrès hal-01535949v1
Bitcoin a Distributed Shared Register Emmanuelle Anceaume,Romaric Ludinard,Maria Potop-Butucaru,Frédéric Tronel SSS 2017 - 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2017, Boston, MA, United States. pp.456-468, ⟨10.1007/978-3-319-69084-1_34⟩ Communication dans un congrès hal-01522360v2
Suivi de flux d'information correct sous Linux Laurent Georget,Mathieu Jaume,Guillaume Piolle,Frédéric Tronel,Valérie Viet Triem Tong 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26 Communication dans un congrès hal-01535937v1
The Cardinal Abstraction for Quantitative Information Flow Mounir Assaf,Julien Signoles,Eric Totel,Frédéric Tronel Workshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal Communication dans un congrès hal-01334604v1
Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase Laurent Georget,Frédéric Tronel,Valérie Viet Triem Tong 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩ Communication dans un congrès hal-01213233v1
Towards a Formal Semantics for System Calls in terms of Information Flow Laurent Georget,Guillaume Piolle,Frédéric Tronel,Valérie Viet Triem Tong,Mathieu Jaume Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4 Communication dans un congrès hal-01149471v1
Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP Pierre Meye,Philippe Raipin,Frédéric Tronel,Emmanuelle Anceaume International Conference on High Performance Computing & Simulation, HPCS 2014, Jul 2014, Bologne, Italy. pp.260 - 267, ⟨10.1109/HPCSim.2014.6903694⟩ Communication dans un congrès hal-01076907v1
A secure two-phase data deduplication scheme Pierre Meye,Philippe Raipin,Frédéric Tronel,Emmanuelle Anceaume 6th International Symposium on Cyberspace Safety and Security (CSS), Aug 2014, Paris, France Communication dans un congrès hal-01076918v1
Toward a distributed storage system leveraging the DSL infrastructure of an ISP Pierre Meye,Philippe Raïpin-Parvédy,Frédéric Tronel,Emmanuelle Anceaume 11th IEEE Consumer Communications and Networking Conference, Jan 2014, United States. pp.2 Communication dans un congrès hal-00924051v1
Intrusion detection in distributed systems, an approach based on taint marking Christophe Hauser,Frédéric Tronel,Colin Fidge,Ludovic Mé IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary Communication dans un congrès hal-00840338v1
Moniteur hybride de flux d'information pour un langage supportant des pointeurs Mounir Assaf,Julien Signoles,Frédéric Tronel,Eric Totel SARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France Communication dans un congrès hal-00909293v1
Program Transformation for Non-interference Verification on Programs with Pointers Mounir Assaf,Julien Signoles,Frédéric Tronel,Eric Totel 28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩ Communication dans un congrès hal-00814671v2
Detecting Attacks Against Data in Web Applications Romaric Ludinard,Eric Totel,Frédéric Tronel,Vincent Nicomette,Mohamed Kaânicheet al. CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8 Communication dans un congrès hal-00735997v1
A taint marking approach to confidentiality violation detection Christophe Hauser,Frédéric Tronel,Jason Reid,Colin Fidge AISC 2012, Jan 2012, Melbourne, Australia. pp.83-90 Communication dans un congrès hal-00736045v1
Mise en œuvre de politiques de protection des flux d'information dans l'environnement Android Valérie Viet Triem Tong,Radoniaina Andriatsimandefitra,Stéphane Geller,Simon Boche,Frédéric Tronelet al. Computer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France Communication dans un congrès hal-00656933v1
Information Flow Control for Intrusion Detection derived from MAC Policy Stéphane Geller,Christophe Hauser,Frédéric Tronel,Valérie Viet Triem Tong 2011 IEEE International Conference on Communications (ICC), Jun 2011, Kyoto, Japan. 6 p., ⟨10.1109/icc.2011.5962660⟩ Communication dans un congrès hal-00647116v1
From SSIR to CIDre: a New Security Research Group in Rennes Emmanuelle Anceaume,Christophe Bidan,Sébastien Gambs,Guillaume Hiet,Michel Hurfinet al. 1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands Communication dans un congrès hal-00656940v1
Detecting illegal system calls using a data-oriented detection model Jonathan-Christofer Demay,Frédéric Majorczyk,Eric Totel,Frédéric Tronel 26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.305-316, ⟨10.1007/978-3-642-21424-0_25⟩ Communication dans un congrès hal-00657971v1
Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré Emmanuelle Anceaume,Romaric Ludinard,Bruno Sericola,Frédéric Tronel CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France Communication dans un congrès inria-00586875v1
Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems Emmanuelle Anceaume,Bruno Sericola,Romaric Ludinard,Frédéric Tronel Proceedings of the 41rst 2011 International Conference on Dependable Systems and Networks (DSN), Jun 2011, Hong-Kong, China. pp.12 Communication dans un congrès hal-00650095v1
Generation et evaluation de mecanismes de detection d'intrusion au niveau applicatif Jonathan-Christofer Demay,Eric Totel,Frédéric Tronel SARSSI 2010, May 2010, Menton, France. pp.NC Communication dans un congrès hal-00536661v1
Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement Emmanuelle Anceaume,Romaric Ludinard,Bruno Sericola,Frédéric Tronel,Francisco V. Brasileiro 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009, Lyon, France Communication dans un congrès hal-00789582v1
Analytical Study of Adversarial Strategies in Cluster-based Overlays Emmanuelle Anceaume,Romaric Ludinard,Frédéric Tronel,F. Brasiliero,Bruno Sericola 2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, ⟨10.1109/PDCAT.2009.62⟩ Communication dans un congrès hal-00408871v1
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems Emmanuelle Anceaume,F. Brasiliero,Romaric Ludinard,Bruno Sericola,Frédéric Tronel The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp. 773-774 Communication dans un congrès hal-00420559v1
SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data Jonathan-Christofer Demay,Eric Totel,Frédéric Tronel 4th International Conference on Risks and Security of Internet and Systems (CRISIS'2009), Oct 2009, Toulouse, France. pp.NC Communication dans un congrès hal-00424574v1
A dependable intrusion detection architecture based on agreement services Michel Hurfin,Jean-Pierre Le Narzul,Frédéric Majorczyk,Ludovic Mé,Ayda Saidaneet al. Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p Communication dans un congrès hal-00269302v1

Poster de conférence (1)

Fuzzing des Extensions Noyau de macOS Erwan Fasquel,Frédéric Tronel,Yaëlle Vinçont RESSI 2025 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2025, Lanniron, France. , 2025 Poster de conférence hal-05173342v1

Autre publication scientifique (1)

Automatic Software Instrumentation for the Detection of Non-control-data Attacks Jonathan-Christofer Demay,Eric Totel,Frédéric Tronel 2009 Autre publication scientifique hal-00420086v1

Rapport (6)

Moniteur hybride de flux d'information pour un langage supportant des pointeurs Mounir Assaf,Julien Signoles,Frédéric Tronel,Eric Totel [Rapport de recherche] RR-8326, INRIA. 2013, pp.25 Rapport (rapport de recherche) hal-00841048v1
Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains Emmanuelle Anceaume,Bruno Sericola,Romaric Ludinard,Frédéric Tronel [Research Report] PI-1963, 2010, pp.18 Rapport (rapport de recherche) inria-00546039v1
Dependability Evaluation of Cluster-based Systems Emmanuelle Anceaume,Francisco Brasileiro,Romaric Ludinard,Bruno Sericola,Frédéric Tronel [Research Report] PI 1947, 2010, pp.16 Rapport (rapport de recherche) inria-00463468v1
Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components Frédéric Tronel,Frédéric Lang,Hubert Garavel RR-5012, INRIA. 2003 Rapport inria-00071572v1
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework Fabiola Greve,Michel Hurfin,Michel Raynal,Frédéric Tronel [Research Report] RR-3856, INRIA. 2000 Rapport (rapport de recherche) inria-00072800v1
Computing Global Functions in Asynchronous Distributed Systems with Process Crashes Jean-Michel Hélary,Michel Hurfin,Achour Mostefaoui,Michel Raynal,Frédéric Tronel [Research Report] RR-3656, INRIA. 1999 Rapport (rapport de recherche) inria-00073017v1