| 2017 | POPL | Hypercollecting semantics and its application to static analysis of information flow. | Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frdric Tronel |
| 2017 | SEFM | Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. | Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frdric Tronel, Valrie Viet Triem Tong |
| 2017 | SSS | Bitcoin a Distributed Shared Register. | Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frdric Tronel |
| 2015 | VISSOFT | Kayrebt: An activity diagram extraction and visualization toolset designed for the Linux codebase. | Laurent Georget, Frdric Tronel, Valrie Viet Triem Tong |
| 2014 | HPCC | A Secure Two-Phase Data Deduplication Scheme. | Pierre Meye, Philippe Raipin Parvdy, Frdric Tronel, Emmanuelle Anceaume |
| 2013 | SEC | Program Transformation for Non-interference Verification on Programs with Pointers. | Mounir Assaf, Julien Signoles, Frdric Tronel, Eric Totel |
| 2011 | SEC | Detecting Illegal System Calls Using a Data-Oriented Detection Model. | Jonathan-Christofer Demay, Frdric Majorczyk, Eric Totel, Frdric Tronel |
| 2009 | CRiSIS | SIDAN: A tool dedicated to software instrumentation for detecting attacks on non-control-data. | Jonathan-Christofer Demay, Eric Totel, Frdric Tronel |
| 2009 | PDCAT | Analytical Study of Adversarial Strategies in Cluster-based Overlays. | Emmanuelle Anceaume, Francisco V. Brasileiro, Romaric Ludinard, Bruno Sericola, Frdric Tronel |
| 2009 | RAID | Automatic Software Instrumentation for the Detection of Non-control-data Attacks. | Jonathan-Christofer Demay, Eric Totel, Frdric Tronel |
| 2006 | SSS | A Dependable Intrusion Detection Architecture Based on Agreement Services. | Michel Hurfin, Jean-Pierre Le Narzul, Frdric Majorczyk, Ludovic M, Ayda Sadane, Eric Totel, Frdric Tronel |