Daniel Le Métayer

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