Frédéric Tronel

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 6

Top Topics

Information Flows

Symbolic Execution

Static Analysis

Top Venues

EuroS&P Workshops

Int. J. Secur. Softw. Eng.

Publications

Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification. EuroS&P Workshops (2021)
Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet
Workshop on the Security of Software/Hardware Interfaces (SILM 2020). EuroS&P Workshops (2020)
Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel
Bitcoin a Distributed Shared Register. SSS (2017)
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. SEFM (2017)
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting semantics and its application to static analysis of information flow. POPL (2017)
Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel
Hypercollecting Semantics and its Application to Static Analysis of Information Flow. CoRR (2016)
Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong
Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. VISSOFT (2015)
Pierre Meye, Philippe Raipin Parvédy, Frédéric Tronel, Emmanuelle Anceaume
A Secure Two-Phase Data Deduplication Scheme. HPCC/CSS/ICESS (2014)
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. Int. J. Secur. Softw. Eng. 5 (1) (2014)
Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel
Program Transformation for Non-interference Verification on Programs with Pointers. SEC (2013)
Christophe Hauser, Frédéric Tronel, Jason Reid, Colin J. Fidge
A taint marking approach to confidentiality violation detection. AISC (2012)
Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel
Detecting Illegal System Calls Using a Data-Oriented Detection Model. SEC (2011)
Stephane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong
Information Flow Control for Intrusion Detection Derived from MAC Policy. ICC (2011)
Emmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel
Dependability Evaluation of Cluster-Based Distributed Systems. Int. J. Found. Comput. Sci. 22 (5) (2011)
Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel
Automatic Software Instrumentation for the Detection of Non-control-data Attacks. RAID (2009)
Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel, Francisco Vilar Brasileiro
Analytical Study of Adversarial Strategies in Cluster-based Overlays CoRR (2009)
Emmanuelle Anceaume, Francisco V. Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel
Analytical Study of Adversarial Strategies in Cluster-based Overlays. PDCAT (2009)
Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel
SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data. CRiSIS (2009)
Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saïdane, Eric Totel, Frédéric Tronel
A Dependable Intrusion Detection Architecture Based on Agreement Services. SSS (2006)