Frédéric Tronel

20 papers A* 1A 1B 2C 5Misc 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
HYPERSEC: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection.
ISC
Lionel Hemmerlé, Guillaume Hiet, Frédéric Tronel, Pierre Wilke, Jean-Christophe Prévotet
2021 — conf
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification.
EuroS&P Workshops
Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet
2020 — conf
Preface of the 2
EuroS&P Workshops
Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet
2017 C conf
Bitcoin a Distributed Shared Register.
SSS
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel
2017 A* conf
Hypercollecting semantics and its application to static analysis of information flow.
POPL
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
2017 B conf
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory.
SEFM
Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong
2016 J jnl
Hypercollecting Semantics and its Application to Static Analysis of Information Flow.
CoRR
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
2015 B conf
Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase.
VISSOFT
Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong
2014 — conf
A Secure Two-Phase Data Deduplication Scheme.
HPCC/CSS/ICESS
Pierre Meye, Philippe Raipin Parvédy, Frédéric Tronel, Emmanuelle Anceaume
2014 J jnl
An Invariant-Based Approach for Detecting Attacks Against Data in Web Applications.
Int. J. Secur. Softw. Eng.
Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy
2013 Misc conf
Program Transformation for Non-interference Verification on Programs with Pointers.
SEC
Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel
2012 Misc conf
A taint marking approach to confidentiality violation detection.
AISC
Christophe Hauser, Frédéric Tronel, Jason Reid, Colin J. Fidge
2011 J jnl
Dependability Evaluation of Cluster-Based Distributed Systems.
Int. J. Found. Comput. Sci.
Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel
2011 Misc conf
Detecting Illegal System Calls Using a Data-Oriented Detection Model.
SEC
Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel
2011 — conf
Information Flow Control for Intrusion Detection Derived from MAC Policy.
ICC
Stephane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong
2009 J jnl
Analytical Study of Adversarial Strategies in Cluster-based Overlays
CoRR
Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel, Francisco Vilar Brasileiro
2009 C conf
Analytical Study of Adversarial Strategies in Cluster-based Overlays.
PDCAT
Emmanuelle Anceaume, Francisco V. Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel
2009 A conf
Automatic Software Instrumentation for the Detection of Non-control-data Attacks.
RAID
Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel
2009 C conf
SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data.
CRiSIS
Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel
2006 C conf
A Dependable Intrusion Detection Architecture Based on Agreement Services.
SSS
Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saïdane, Eric Totel, Frédéric Tronel