| 2024 | SEFM | Model-Checking the Implementation of Consent. | Ral Pardo, Daniel Le Mtayer |
| 2020 | ICPR | A Multi-layered Approach for Tailored Black-Box Explanations. | Clment Henin, Daniel Le Mtayer |
| 2019 | DBSEC | Analysis of Privacy Policies to Enhance Informed Consent. | Ral Pardo, Daniel Le Mtayer |
| 2019 | TrustCom | A Generic Information and Consent Framework for the IoT. | Victor Morel, Mathieu Cunche, Daniel Le Mtayer |
| 2016 | DBSEC | Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems. | Julien Bringer, Herv Chabanne, Daniel Le Mtayer, Roch Lescuyer |
| 2016 | ESORICS | PRIAM: A Privacy Risk Analysis Methodology. | Sourya Joyee De, Daniel Le Mtayer |
| 2016 | SP | Privacy Harm Analysis: A Case Study on Smart Grids. | Sourya Joyee De, Daniel Le Mtayer |
| 2015 | FM | Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. | Julien Bringer, Herv Chabanne, Daniel Le Mtayer, Roch Lescuyer |
| 2015 | ICSE | A Guide to End-to-End Privacy Accountability. | Denis Butin, Daniel Le Mtayer |
| 2015 | SP | PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. | Nicols Notario, Alberto Crespo, Yod Samuel Martn, Jos M. del lamo, Daniel Le Mtayer, Thibaud Antignac, Antonio Kung, Inga Kroener, David Wright |
| 2014 | FM | Log Analysis for Data Protection Accountability. | Denis Butin, Daniel Le Mtayer |
| 2013 | SP | Log Design for Accountability. | Denis Butin, Marcos Chicote, Daniel Le Mtayer |
| 2011 | SEC | Delegation of Obligations and Responsibility. | Meriam Ben-Ghorbel-Talbi, Frdric Cuppens, Nora Cuppens-Boulahia, Daniel Le Mtayer, Guillaume Piolle |
| 2011 | SEFM | Formal Methods as a Link between Software Code and Legal Rules. | Daniel Le Mtayer |
| 2010 | ICSE | Liability in software engineering: overview of the LISE approach and illustration on a case study. | Daniel Le Mtayer, Manuel Maarek, Valrie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stphane Frnot, Ronan Hardouin |
| 2010 | RV | Causality Analysis in Contract Violation. | Gregor Gler, Daniel Le Mtayer, Jean-Baptiste Raclet |
| 2010 | SEFM | Designing Log Architectures for Legal Evidence. | Daniel Le Mtayer, Eduardo Mazza, Marie-Laure Potet |
| 2008 | SEC | ASTRA : A Security Analysis Method Based on Asset Tracking. | Daniel Le Mtayer, Claire Loiseaux |
| 1999 | LOPSTR | Verification by Testing for Recursive Program Schemes. | Daniel Le Mtayer, Valrie-Anne Nicolas, Olivier Ridoux |
| 1999 | SP | Verification of Control Flow based Security Properties. | Thomas P. Jensen, Daniel Le Mtayer, Tommy Thorn |
| 1997 | ICFEM | CASTING: A Formally Based Software Test Generation Method. | Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Mtayer |
| 1997 | POPL | Shape Types. | Pascal Fradet, Daniel Le Mtayer |
| 1996 | ESOP | Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. | Pascal Fradet, Ronan Caugne, Daniel Le Mtayer |
| 1995 | PEPM | Proving Properties of Programs Defined over Recursive Data Structures. | Daniel Le Mtayer |
| 1994 | ESOP | Lazy Type Inference for the Strictness Analysis of Lists. | Chris Hankin, Daniel Le Mtayer |
| 1994 | ESORICS | Compile-Time Detection of Information Flow in Sequential Programs. | Jean-Pierre Bantre, Ciarn Bryce, Daniel Le Mtayer |
| 1994 | POPL | Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1994 | SAS | A Type-based Framework for Program Analysis. | Chris Hankin, Daniel Le Mtayer |
| 1992 | SAS | Transformation of Gamma Programs. | Chris Hankin, Daniel Le Mtayer, David Sands |