Frédéric Tronel

43
Documents
Identifiants chercheurs

Présentation

Publications

3
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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âniche et 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

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

Communication dans un congrès 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

Communication dans un congrès hal-00656933v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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 Saidane et al.

Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p

Communication dans un congrès hal-00269302v1
Deposit thumbnail

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