Daniel Le Métayer

According to our database, Daniel Le Métayer authored at least 107 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model-Checking the Implementation of Consent.

Raúl Pardo, Daniel Le Métayer

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

2022

Beyond explainability: justifiability and contestability of algorithmic decision systems.

Clément Henin, Daniel Le Métayer

AI Soc., 2022

2021

A framework to contest and justify algorithmic decisions.

Clément Henin, Daniel Le Métayer

AI Ethics, 2021

2020

DESIRE: A Third Way for a European Exposure Notification System Leveraging the best of centralized and decentralized systems.

Claude Castelluccia, Nataliia Bielova, Antoine Boutet, Mathieu Cunche, Cédric Lauradoux, Daniel Le Métayer, Vincent Roca

CoRR, 2020

A Multi-layered Approach for Tailored Black-Box Explanations.

Clément Henin, Daniel Le Métayer

Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

A Generic Framework for Black-box Explanations.

Clément Henin, Daniel Le Métayer

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

Position Paper: Analyzing the Impacts of Facial Recognition.

Claude Castelluccia, Daniel Le Métayer

Proceedings of the Privacy Technologies and Policy - 8th Annual Privacy Forum, 2020

2019

UPRISE-IoT: User-Centric Privacy & Security in the IoT.

Silvia Giordano, Victor Morel, Melek Önen, Mirco Musolesi, Davide Andreoletti, Felipe Cardoso, Alan Ferrari, Luca Luceri, Claude Castelluccia, Daniel Le Métayer, Cédric Van Rompay, Benjamin Baron

Proceedings of the Security and Privacy in the Internet of Things: Challenges and Solutions, 2019

Analysis of Privacy Policies to Enhance Informed Consent (Extended Version).

Raúl Pardo, Daniel Le Métayer

CoRR, 2019

A Generic Information and Consent Framework for the IoT.

Victor Morel, Mathieu Cunche, Daniel Le Métayer

Proceedings of the 18th IEEE International Conference On Trust, 2019

Analysis of Privacy Policies to Enhance Informed Consent.

Raúl Pardo, Daniel Le Métayer

Proceedings of the Data and Applications Security and Privacy XXXIII, 2019

2018

Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures.

Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer

Trans. Data Priv., 2018

Algorithmic Decision Systems in the Health and Justice Sectors: Certification and Explanations for Algorithms in European and French Law.

Sonia Desmoulin-Canselier, Daniel Le Métayer

Eur. J. Law Technol., 2018

Privacy Risk Analysis to Enable Informed Privacy Settings.

Sourya Joyee De, Daniel Le Métayer

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

Enhancing Transparency and Consent in the IoT.

Claude Castelluccia, Mathieu Cunche, Daniel Le Métayer, Victor Morel

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

Capacity: an Abstract Model of Control over Personal Data.

Daniel Le Métayer, Pablo Rauzy

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2017

Interdisciplinarity in practice: Challenges and benefits for privacy research.

Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco J. Jaime, Christophe Jouvray, Antonio Kung, Zhendong Ma, Antonio Maña

Comput. Law Secur. Rev., 2017

A Refinement Approach for the Reuse of Privacy Risk Analysis Results.

Sourya Joyee De, Daniel Le Métayer

Proceedings of the Privacy Technologies and Policy - 5th Annual Privacy Forum, 2017

2016

Privacy Risk Analysis

Sourya Joyee De, Daniel Le Métayer

Synthesis Lectures on Information Security, Privacy, & Trust, Morgan & Claypool Publishers, ISBN: 978-3-031-02349-1, 2016

Privacy Harm Analysis: A Case Study on Smart Grids.

Sourya Joyee De, Daniel Le Métayer

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

PRIAM: A Privacy Risk Analysis Methodology.

Sourya Joyee De, Daniel Le Métayer

Proceedings of the Data Privacy Management and Security Assurance, 2016

Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems.

Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer

Proceedings of the Data and Applications Security and Privacy XXX, 2016

2015

A general framework for blaming in component-based systems.

Gregor Gößler, Daniel Le Métayer

Sci. Comput. Program., 2015

The control over personal data: True remedy or fairy tale ?

Christphe Lazaro, Daniel Le Métayer

CoRR, 2015

Privacy and Data Protection by Design - from policy to engineering.

George Danezis, Josep Domingo-Ferrer, Marit Hansen, Jaap-Henk Hoepman, Daniel Le Métayer, Rodica Tirtea, Stefan Schiffner

CoRR, 2015

Body-worn cameras for police accountability: Opportunities and risks.

Fanny Coudert, Denis Butin, Daniel Le Métayer

Comput. Law Secur. Rev., 2015

PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology.

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

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

Reasoning about Privacy Properties of Biometric Systems Architectures in the Presence of Information Leakage.

Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer

Proceedings of the Information Security - 18th International Conference, 2015

Trust Driven Strategies for Privacy by Design.

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Trust Management IX - 9th IFIP WG 11.11 International Conference, 2015

A Guide to End-to-End Privacy Accountability.

Denis Butin, Daniel Le Métayer

Proceedings of the 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, 2015

Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures.

Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer

Proceedings of the FM 2015: Formal Methods, 2015

Formal Verification of Privacy Properties in Electric Vehicle Charging.

Marouane Fazouane, Henning Kopp, Rens W. van der Heijden, Daniel Le Métayer, Frank Kargl

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Formal Accountability for Biometric Surveillance: A Case Study.

Vinh-Thong Ta, Denis Butin, Daniel Le Métayer

Proceedings of the Privacy Technologies and Policy - Third Annual Privacy Forum, 2015

2014

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel.

Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei

Tech. Sci. Informatiques, 2014

Privacy Architectures: Reasoning about Data Minimisation and Integrity.

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

Log Analysis for Data Protection Accountability.

Denis Butin, Daniel Le Métayer

Proceedings of the FM 2014: Formal Methods, 2014

PRIPARE: A New Vision on Engineering Privacy and Security by Design.

Nicolás Notario, Alberto Crespo, Antonio Kung, Inga Kroener, Daniel Le Métayer, Carmela Troncoso, José M. del Álamo, Yod Samuel Martín

Proceedings of the Cyber Security and Privacy - Third Cyber Security and Privacy EU Forum, 2014

Privacy by Design: From Technologies to Architectures - (Position Paper).

Thibaud Antignac, Daniel Le Métayer

Proceedings of the Privacy Technologies and Policy - Second Annual Privacy Forum, 2014

2013

Log Design for Accountability.

Denis Butin, Marcos Chicote, Daniel Le Métayer

Proceedings of the 2013 IEEE Symposium on Security and Privacy Workshops, 2013

A General Trace-Based Framework of Logical Causality.

Gregor Gößler, Daniel Le Métayer

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

Privacy by design: a formal framework for the analysis of architectural choices.

Daniel Le Métayer

Proceedings of the Third ACM Conference on Data and Application Security and Privacy, 2013

2012

From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles.

Daniel Le Métayer, Julien Le Clainche

Proceedings of the European Data Protection: In Good Health?, 2012

2011

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties.

Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin

Commun. ACM, 2011

Formal Methods as a Link between Software Code and Legal Rules.

Daniel Le Métayer

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Delegation of Obligations and Responsibility.

Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules.

Romuald Thion, Daniel Le Métayer

Proceedings of the POLICY 2011, 2011

2010

Designing Log Architectures for Legal Evidence.

Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence.

Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer

Proceedings of the Formal Methods: Foundations and Applications, 2010

Causality Analysis in Contract Violation.

Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet

Proceedings of the Runtime Verification - First International Conference, 2010

Liability in software engineering: overview of the LISE approach and illustration on a case study.

Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Privacy by Design: A Matter of Choice.

Daniel Le Métayer

Proceedings of the Data Protection in a Profiled World, 2010

2009

Automated consent through privacy agents: Legal requirements and technical architecture.

Daniel Le Métayer, Shara Monteleone

Comput. Law Secur. Rev., 2009

2008

ASTRA : A Security Analysis Method Based on Asset Tracking.

Daniel Le Métayer, Claire Loiseaux

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

A Formal Privacy Management Framework.

Daniel Le Métayer

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007

IT Security Analysis Best Practices and Formal Approaches.

Daniel Le Métayer

Proceedings of the Foundations of Security Analysis and Design IV, 2007

2001

Model Checking Security Properties of Control Flow Graphs.

Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer

J. Comput. Secur., 2001

2000

Foreword.

Daniel Le Métayer

Theor. Comput. Sci., 2000

Gamma and the Chemical Reaction Model: Fifteen Years After.

Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer

Proceedings of the Multiset Processing, 2000

Formalization and Verification of Coherence Protocols with the Gamma Framework.

David Mentré, Daniel Le Métayer, Thierry Priol

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 2000

Formal Methods in Practice: The Missing Links. A Perspective from the Security Area.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Formal Methods in Context: Security and Java Card.

Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux

Proceedings of the Java on Smart Cards: Programming and Security, 2000

1999

Dynamic Slicing: a generic analysis based on a natural semantics format.

Valérie Gouranton, Daniel Le Métayer

J. Log. Comput., 1999

Verification of Control Flow based Security Properties.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

Verification by Testing for Recursive Program Schemes.

Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux

Proceedings of the Logic Programming Synthesis and Transformation, 1999

Consistency Checking for Multiple View Software Architectures.

Pascal Fradet, Daniel Le Métayer, Michaël Périn

Proceedings of the Software Engineering, 1999

1998

Describing Software Architecture Styles Using Graph Grammars.

Daniel Le Métayer

IEEE Trans. Software Eng., 1998

Refining Multiset Tranformers.

Chris Hankin, Daniel Le Métayer, David Sands

Theor. Comput. Sci., 1998

Exploring the Software Development Trilogy.

Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux

IEEE Softw., 1998

Structured Gamma.

Pascal Fradet, Daniel Le Métayer

Sci. Comput. Program., 1998

Security and Dynamic Class Loading in Java: A Formalization.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the 1998 International Conference on Computer Languages, 1998

Coarse Grained Java Security Policies.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Shape Types.

Pascal Fradet, Daniel Le Métayer

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

CASTING: A Formally Based Software Test Generation Method.

Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis.

Geoffrey Livingston Burn, Daniel Le Métayer

J. Funct. Program., 1996

Structural Operational Semantics as a Basis for Static Program Analysis.

Daniel Le Métayer, David A. Schmidt

ACM Comput. Surv., 1996

Program Analysis for Software Engineering: New Applications, New Requirements, New Tools.

Daniel Le Métayer

ACM Comput. Surv., 1996

Software Architecture Styles as Graph Grammars.

Daniel Le Métayer

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Type Checking for a Multiset Rewriting Language.

Pascal Fradet, Daniel Le Métayer

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.

Pascal Fradet, Ronan Caugne, Daniel Le Métayer

Proceedings of the Programming Languages and Systems, 1996

1995

Lazy Type Inference and Program Analysis.

Chris Hankin, Daniel Le Métayer

Sci. Comput. Program., 1995

Proving Properties of Programs Defined over Recursive Data Structures.

Daniel Le Métayer

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

An approach to information security in distributed systems.

Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

A Type-based Framework for Program Analysis.

Chris Hankin, Daniel Le Métayer

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis.

Chris Hankin, Daniel Le Métayer

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Compile-Time Detection of Information Flow in Sequential Programs.

Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer

Proceedings of the Computer Security, 1994

Lazy Type Inference for the Strictness Analysis of Lists.

Chris Hankin, Daniel Le Métayer

Proceedings of the Programming Languages and Systems, 1994

Higher-Order Multiset Programming.

Daniel Le Métayer

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Programming by Multiset Transformation.

Jean-Pierre Banâtre, Daniel Le Métayer

Commun. ACM, 1993

Proving the Correctness of Compiler Optimizations Based on Strictness Analysis.

Geoffrey Livingston Burn, Daniel Le Métayer

Proceedings of the Programming Language Implementation and Logic Programming, 1993

A Parallel Programming Style and Its Algebra of Programs.

Chris Hankin, Daniel Le Métayer, David Sands

Proceedings of the PARLE '93, 1993

1992

Continuation-Based Compilation of Functional Languages for Parallel Machines.

Jean-Francois Giorgi, Daniel Le Métayer

Math. Struct. Comput. Sci., 1992

Transformation of Gamma Programs.

Chris Hankin, Daniel Le Métayer, David Sands

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

A Calculus of Gamma Programs.

Chris Hankin, Daniel Le Métayer, David Sands

Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991

Compilation of Functional Languages by Program Transformation.

Pascal Fradet, Daniel Le Métayer

ACM Trans. Program. Lang. Syst., 1991

The Chemical Reaction Model.

Daniel Le Métayer

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Introduction to Gamma.

Jean-Pierre Banâtre, Daniel Le Métayer

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

Prospects for functional programming in software engineering.

Jean-Pierre Banâtre, Simon B. Jones, Daniel Le Métayer

Research reports ESPRIT / project 302 1, Springer, ISBN: 978-3-540-53852-3, 1991

1990

The GAMMA Model and Its Discipline of Programming.

Jean-Pierre Banâtre, Daniel Le Métayer

Sci. Comput. Program., 1990

Continuation-Based Parallel Implementation of Functional Programming Languages.

Jean-Francois Giorgi, Daniel Le Métayer

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

Compilation of Lambda-Calculus into Functional Machine Code.

Pascal Fradet, Daniel Le Métayer

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Computer-Time Garbage Collection by Sharing Analysis.

Simon B. Jones, Daniel Le Métayer

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

A New Method for Strictness Analysis on Non-Flat Domains.

Simon B. Jones, Daniel Le Métayer

Proceedings of the Functional Programming, 1989

Chemical Reaction as a Computational Model.

Jean-Pierre Banâtre, Daniel Le Métayer

Proceedings of the Functional Programming, 1989

1988

ACE: An Automatic Complexity Evaluator.

Daniel Le Métayer

ACM Trans. Program. Lang. Syst., 1988

Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil.

Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer

it Inf. Technol., 1988

A parallel machine for multiset transformation and its programming style.

Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer

Future Gener. Comput. Syst., 1988

1985

Mechanical analysis of program complexity.

Daniel Le Métayer

Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, 1985