Daniel Le Métayer

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 21

Top Venues

CoRR

APF

IEEE Symposium on Security and Privacy Workshops

Publications

Clément Henin, Daniel Le Métayer
Beyond explainability: justifiability and contestability of algorithmic decision systems. AI Soc. 37 (4) (2022)
Clément Henin, Daniel Le Métayer
A framework to contest and justify algorithmic decisions. AI Ethics 1 (4) (2021)
Claude Castelluccia, Nataliia Bielova, Antoine Boutet, Mathieu Cunche, Cédric Lauradoux, Daniel Le Métayer, Vincent Roca
DESIRE: A Third Way for a European Exposure Notification System Leveraging the best of centralized and decentralized systems. CoRR (2020)
Clément Henin, Daniel Le Métayer
A Multi-layered Approach for Tailored Black-Box Explanations. ICPR Workshops (3) (2020)
Claude Castelluccia, Daniel Le Métayer
Position Paper: Analyzing the Impacts of Facial Recognition. APF (2020)
Clément Henin, Daniel Le Métayer
A Generic Framework for Black-box Explanations. IEEE BigData (2020)
Victor Morel, Mathieu Cunche, Daniel Le Métayer
A Generic Information and Consent Framework for the IoT. TrustCom/BigDataSE (2019)
Raúl Pardo, Daniel Le Métayer
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version). CoRR (2019)
Raúl Pardo, Daniel Le Métayer
Analysis of Privacy Policies to Enhance Informed Consent. DBSec (2019)
Mathieu Cunche, Daniel Le Métayer, Victor Morel
A Generic Information and Consent Framework for the IoT. CoRR (2018)
Daniel Le Métayer, Pablo Rauzy
Capacity: an Abstract Model of Control over Personal Data. CODASPY (2018)
Sonia Desmoulin-Canselier, Daniel Le Métayer
Algorithmic Decision Systems in the Health and Justice Sectors: Certification and Explanations for Algorithms in European and French Law. Eur. J. Law Technol. 9 (3) (2018)
Sourya Joyee De, Daniel Le Métayer
Privacy Risk Analysis to Enable Informed Privacy Settings. EuroS&P Workshops (2018)
Claude Castelluccia, Mathieu Cunche, Daniel Le Métayer, Victor Morel
Enhancing Transparency and Consent in the IoT. EuroS&P Workshops (2018)
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. Trans. Data Priv. 11 (2) (2018)
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. CoRR (2017)
Sourya Joyee De, Daniel Le Métayer
A Refinement Approach for the Reuse of Privacy Risk Analysis Results. APF (2017)
Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco J. Jaime, Christophe Jouvray, Antonio Kung, Zhendong Ma, Antonio Maña
Interdisciplinarity in practice: Challenges and benefits for privacy research. Comput. Law Secur. Rev. 33 (6) (2017)
Sourya Joyee De, Daniel Le Métayer
PRIAM: A Privacy Risk Analysis Methodology. DPM/QASA@ESORICS (2016)
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems. DBSec (2016)
Sourya Joyee De, Daniel Le Métayer
Privacy Harm Analysis: A Case Study on Smart Grids. IEEE Symposium on Security and Privacy Workshops (2016)
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. FM (2015)
Nicolás Notario, Alberto Crespo, Yod Samuel Martín, José M. del Álamo, Daniel Le Métayer, Thibaud Antignac, Antonio Kung, Inga Kroener, David Wright
PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. IEEE Symposium on Security and Privacy Workshops (2015)
Gregor Gößler, Daniel Le Métayer
A general framework for blaming in component-based systems. Sci. Comput. Program. 113 (2015)
Fanny Coudert, Denis Butin, Daniel Le Métayer
Body-worn cameras for police accountability: Opportunities and risks. Comput. Law Secur. Rev. 31 (6) (2015)
Thibaud Antignac, Daniel Le Métayer
Trust Driven Strategies for Privacy by Design. IFIPTM (2015)
Marouane Fazouane, Henning Kopp, Rens W. van der Heijden, Daniel Le Métayer, Frank Kargl
Formal Verification of Privacy Properties in Electric Vehicle Charging. ESSoS (2015)
Vinh-Thong Ta, Denis Butin, Daniel Le Métayer
Formal Accountability for Biometric Surveillance: A Case Study. APF (2015)
Christphe Lazaro, Daniel Le Métayer
The control over personal data: True remedy or fairy tale ? CoRR (2015)
Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer
Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage. ISC (2015)
Denis Butin, Daniel Le Métayer
A Guide to End-to-End Privacy Accountability. TELERISE@ICSE (2015)
George Danezis, Josep Domingo-Ferrer, Marit Hansen, Jaap-Henk Hoepman, Daniel Le Métayer, Rodica Tirtea, Stefan Schiffner
Privacy and Data Protection by Design - from policy to engineering. CoRR (2015)
Thibaud Antignac, Daniel Le Métayer
Privacy by Design: From Technologies to Architectures (Position Paper). CoRR (2014)
Thibaud Antignac, Daniel Le Métayer
Privacy by Design: From Technologies to Architectures - (Position Paper). APF (2014)
Thibaud Antignac, Daniel Le Métayer
Privacy Architectures: Reasoning about Data Minimisation and Integrity. STM (2014)
Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33 (1-2) (2014)
Thibaud Antignac, Daniel Le Métayer
Privacy Architectures: Reasoning About Data Minimisation and Integrity. CoRR (2014)
Nicolás Notario, Alberto Crespo, Antonio Kung, Inga Kroener, Daniel Le Métayer, Carmela Troncoso, José M. del Álamo, Yod Samuel Martín
PRIPARE: A New Vision on Engineering Privacy and Security by Design. CSP Forum (2014)
Denis Butin, Daniel Le Métayer
Log Analysis for Data Protection Accountability. FM (2014)
Gregor Gößler, Daniel Le Métayer
A General Trace-Based Framework of Logical Causality. FACS (2013)
Daniel Le Métayer
Privacy by design: a formal framework for the analysis of architectural choices. CODASPY (2013)
Denis Butin, Marcos Chicote, Daniel Le Métayer
Log Design for Accountability. IEEE Symposium on Security and Privacy Workshops (2013)
Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle
Delegation of Obligations and Responsibility. SEC (2011)
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54 (4) (2011)
Daniel Le Métayer
Formal Methods as a Link between Software Code and Legal Rules. SEFM (2011)
Romuald Thion, Daniel Le Métayer
FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. POLICY (2011)
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) (2010)
Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet
Causality Analysis in Contract Violation. RV (2010)
Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. SBMF (2010)
Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet
Designing Log Architectures for Legal Evidence. SEFM (2010)
Daniel Le Métayer, Shara Monteleone
Automated consent through privacy agents: Legal requirements and technical architecture. Comput. Law Secur. Rev. 25 (2) (2009)
Daniel Le Métayer, Claire Loiseaux
ASTRA : A Security Analysis Method Based on Asset Tracking. SEC (2008)
Daniel Le Métayer
A Formal Privacy Management Framework. Formal Aspects in Security and Trust (2008)
Daniel Le Métayer
IT Security Analysis Best Practices and Formal Approaches. FOSAD (2007)
Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer
Model Checking Security Properties of Control Flow Graphs. J. Comput. Secur. 9 (3) (2001)
David Mentré, Daniel Le Métayer, Thierry Priol
Formalization and Verification of Coherence Protocols with the Gamma Framework. PDSE (2000)
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. MOVEP (2000)
Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
Gamma and the Chemical Reaction Model: Fifteen Years After. WMP (2000)
Daniel Le Métayer
Foreword. Theor. Comput. Sci. 240 (1) (2000)
Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
Formal Methods in Context: Security and Java Card. Java Card Workshop (2000)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy (1999)
Pascal Fradet, Daniel Le Métayer, Michaël Périn
Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE (1999)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Verification by Testing for Recursive Program Schemes. LOPSTR (1999)
Valérie Gouranton, Daniel Le Métayer
Dynamic Slicing: a generic analysis based on a natural semantics format. J. Log. Comput. 9 (6) (1999)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Coarse Grained Java Security Policies. ECOOP Workshops (1998)
Daniel Le Métayer
Describing Software Architecture Styles Using Graph Grammars. IEEE Trans. Software Eng. 24 (7) (1998)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Security and Dynamic Class Loading in Java: A Formalization. ICCL (1998)
Pascal Fradet, Daniel Le Métayer
Structured Gamma. Sci. Comput. Program. 31 (2-3) (1998)
Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux
Exploring the Software Development Trilogy. IEEE Softw. 15 (6) (1998)
Chris Hankin, Daniel Le Métayer, David Sands
Refining Multiset Tranformers. Theor. Comput. Sci. 192 (2) (1998)
Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer
CASTING: A Formally Based Software Test Generation Method. ICFEM (1997)
Daniel Le Métayer
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. ACM SIGPLAN Notices 32 (1) (1997)
Pascal Fradet, Daniel Le Métayer
Shape Types. POPL (1997)
Daniel Le Métayer, David A. Schmidt
Structural Operational Semantics as a Basis for Static Program Analysis. ACM Comput. Surv. 28 (2) (1996)
Pascal Fradet, Daniel Le Métayer
Type Checking for a Multiset Rewriting Language. LOMAPS (1996)
Daniel Le Métayer
Software Architecture Styles as Graph Grammars. SIGSOFT FSE (1996)
Pascal Fradet, Ronan Caugne, Daniel Le Métayer
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP (1996)
Geoffrey L. Burn, Daniel Le Métayer
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. J. Funct. Program. 6 (1) (1996)
Daniel Le Métayer
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. ACM Comput. Surv. 28 (4es) (1996)
Daniel Le Métayer
Proving Properties of Programs Defined over Recursive Data Structures. PEPM (1995)
Chris Hankin, Daniel Le Métayer
Lazy Type Inference and Program Analysis. Sci. Comput. Program. 25 (2-3) (1995)
Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer
An approach to information security in distributed systems. FTDCS (1995)
Daniel Le Métayer
Higher-Order Multiset Programming. Specification of Parallel Algorithms (1994)
Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer
Compile-Time Detection of Information Flow in Sequential Programs. ESORICS (1994)
Chris Hankin, Daniel Le Métayer
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. POPL (1994)
Chris Hankin, Daniel Le Métayer
Lazy Type Inference for the Strictness Analysis of Lists. ESOP (1994)
Chris Hankin, Daniel Le Métayer
A Type-based Framework for Program Analysis. SAS (1994)
Geoffrey L. Burn, Daniel Le Métayer
Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. PLILP (1993)
Jean-Pierre Banâtre, Daniel Le Métayer
Programming by Multiset Transformation. Commun. ACM 36 (1) (1993)
Chris Hankin, Daniel Le Métayer, David Sands
A Parallel Programming Style and Its Algebra of Programs. PARLE (1993)
J.-F. Giorgi, Daniel Le Métayer
Continuation-Based Compilation of Functional Languages for Parallel Machines. Math. Struct. Comput. Sci. 2 (4) (1992)
Chris Hankin, Daniel Le Métayer, David Sands
A Calculus of Gamma Programs. LCPC (1992)
Chris Hankin, Daniel Le Métayer, David Sands
Transformation of Gamma Programs. WSA (1992)
Pascal Fradet, Daniel Le Métayer
Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13 (1) (1991)
Jean-Pierre Banâtre, Daniel Le Métayer
Introduction to Gamma. Research Directions in High-Level Parallel Programming Languages (1991)
Daniel Le Métayer
The Chemical Reaction Model. Research Directions in High-Level Parallel Programming Languages (1991)
J.-F. Giorgi, Daniel Le Métayer
Continuation-Based Parallel Implementation of Functional Programming Languages. LISP and Functional Programming (1990)
Jean-Pierre Banâtre, Daniel Le Métayer
The GAMMA Model and Its Discipline of Programming. Sci. Comput. Program. 15 (1) (1990)
Simon B. Jones, Daniel Le Métayer
Computer-Time Garbage Collection by Sharing Analysis. FPCA (1989)
Pascal Fradet, Daniel Le Métayer
Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 (1989)

Daniel Le Métayer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Le Métayer