Access content directly

Frédéric Tronel

40
Documents
Researcher identifiers

Presentation

Publications

Image document

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

Nicolas Bellec , Guillaume Hiet , Simon Rokicki , Frédéric Tronel , Isabelle Puaut et al.
ECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩
Conference papers hal-03641576v1
Image document

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⟩
Conference papers hal-03340008v1
Image document

Plateforme de protection de binaires configurable et dynamiquement adaptative

Kévin Le Bon , Byron Hawkins , Erven Rohou , Guillaume Hiet , Frédéric Tronel et al.
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
Conference papers hal-02385216v1
Image document

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 et al.
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⟩
Conference papers hal-01535949v1
Image document

Suivi de flux d'information correct sous Linux

Laurent Georget , Mathieu Jaume , Guillaume Piolle , Frédéric Tronel , Valérie Viet Triem Tong et al.
16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
Conference papers hal-01535937v1
Image document

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⟩
Conference papers hal-01522360v2
Image document

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf , David A Naumann , Julien Signoles , Eric Totel , Frédéric Tronel et al.
POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩
Conference papers hal-01618360v1
Image document

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 et al.
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Conference papers hal-01535862v1
Image document

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
Conference papers hal-01334604v1

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 et al.
Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Conference papers hal-01149471v1
Image document

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⟩
Conference papers hal-01213233v1
Image document

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
Conference papers hal-00924051v1
Image document

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
Conference papers hal-01076918v1
Image document

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⟩
Conference papers hal-01076907v1
Image document

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
Conference papers hal-00909293v1
Image document

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⟩
Conference papers hal-00814671v2
Image document

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
Conference papers hal-00840338v1

Detecting Attacks Against Data in Web Applications

Romaric Ludinard , Eric Totel , Frédéric Tronel , Vincent Nicomette , Mohamed Kaâniche et al.
CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
Conference papers 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
Conference papers hal-00736045v1
Image document

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
Conference papers inria-00586875v1
Image document

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⟩
Conference papers hal-00657971v1
Image document

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
Conference papers hal-00650095v1

From SSIR to CIDre: a New Security Research Group in Rennes

Emmanuelle Anceaume , Christophe Bidan , Sébastien Gambs , Guillaume Hiet , Michel Hurfin et al.
1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Conference papers hal-00656940v1

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 Tronel et al.
Computer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France
Conference papers hal-00656933v1
Image document

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⟩
Conference papers hal-00647116v1

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
Conference papers hal-00536661v1

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
Conference papers hal-00424574v1
Image document

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 et al.
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp. 773-774
Conference papers hal-00420559v1

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 et al.
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009, Lyon, France
Conference papers hal-00789582v1
Image document

Analytical Study of Adversarial Strategies in Cluster-based Overlays

Emmanuelle Anceaume , Romaric Ludinard , Frédéric Tronel , F. Brasiliero , Bruno Sericola et al.
2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, ⟨10.1109/PDCAT.2009.62⟩
Conference papers hal-00408871v1

A dependable intrusion detection architecture based on agreement services

Michel Hurfin , Jean-Pierre Le Narzul , Frédéric Majorczyk , Ludovic Mé , Ayda Saidane et al.
Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p
Conference papers hal-00269302v1