default search action
Daniel Le Métayer
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [i9]Raúl Pardo, Daniel Le Métayer:
Model-Checking the Implementation of Consent. CoRR abs/2409.11803 (2024) - 2022
- [j29]Clément Henin
, Daniel Le Métayer:
Beyond explainability: justifiability and contestability of algorithmic decision systems. AI Soc. 37(4): 1397-1410 (2022) - 2021
- [j28]Clément Henin
A framework to contest and justify algorithmic decisions. AI Ethics 1(4): 463-476 (2021) - 2020
- [c69]Claude Castelluccia, Daniel Le Métayer:
Position Paper: Analyzing the Impacts of Facial Recognition. APF 2020: 43-57 - [c68]Clément Henin
A Generic Framework for Black-box Explanations. IEEE BigData 2020: 3667-3676 - [c67]Clément Henin
A Multi-layered Approach for Tailored Black-Box Explanations. ICPR Workshops (3) 2020: 5-19 - [i8]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 abs/2008.01621 (2020)
2010 – 2019
- 2019
- [c66]Raúl Pardo, Daniel Le Métayer:
Analysis of Privacy Policies to Enhance Informed Consent. DBSec 2019: 177-198 - [c65]Victor Morel, Mathieu Cunche, Daniel Le Métayer:
A Generic Information and Consent Framework for the IoT. TrustCom/BigDataSE 2019: 366-373 - [p3]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:
UPRISE-IoT: User-Centric Privacy & Security in the IoT. Security and Privacy in the Internet of Things 2019: 44-60 - [i7]Raúl Pardo, Daniel Le Métayer:
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version). CoRR abs/1903.06068 (2019) - 2018
- [j27]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) - [j26]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): 111-137 (2018) - [c64]Daniel Le Métayer, Pablo Rauzy
Capacity: an Abstract Model of Control over Personal Data. CODASPY 2018: 64-75 - [c63]Sourya Joyee De, Daniel Le Métayer:
Privacy Risk Analysis to Enable Informed Privacy Settings. EuroS&P Workshops 2018: 95-102 - [c62]Claude Castelluccia, Mathieu Cunche, Daniel Le Métayer, Victor Morel:
Enhancing Transparency and Consent in the IoT. EuroS&P Workshops 2018: 116-119 - [i6]Mathieu Cunche, Daniel Le Métayer, Victor Morel:
A Generic Information and Consent Framework for the IoT. CoRR abs/1812.06773 (2018) - 2017
- [j25]Daniel Le Métayer, Mathias Bossuet, Fanny Coudert, Claire Gayrel, Francisco J. Jaime
Interdisciplinarity in practice: Challenges and benefits for privacy research. Comput. Law Secur. Rev. 33(6): 864-869 (2017) - [c61]Sourya Joyee De, Daniel Le Métayer:
A Refinement Approach for the Reuse of Privacy Risk Analysis Results. APF 2017: 52-83 - [i5]Julien Bringer, Hervé Chabanne, Daniel Le Métayer, Roch Lescuyer:
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures. CoRR abs/1702.08301 (2017) - 2016
- [b2]Sourya Joyee De, Daniel Le Métayer:
Privacy Risk Analysis. Synthesis Lectures on Information Security, Privacy, & Trust, Morgan & Claypool Publishers 2016, ISBN 978-3-031-01221-1, pp. 1-133 - [c60]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: 313-327 - [c59]Sourya Joyee De, Daniel Le Métayer:
PRIAM: A Privacy Risk Analysis Methodology. DPM/QASA@ESORICS 2016: 221-229 - [c58]Sourya Joyee De, Daniel Le Métayer:
Privacy Harm Analysis: A Case Study on Smart Grids. IEEE Symposium on Security and Privacy Workshops 2016: 58-65 - [e4]Bettina Berendt, Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner
Privacy Technologies and Policy - Third Annual Privacy Forum, APF 2015, Luxembourg, October 7-8, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9484, Springer 2016, ISBN 978-3-319-31455-6 [contents] - 2015
- [j24]Fanny Coudert, Denis Butin, Daniel Le Métayer:
Body-worn cameras for police accountability: Opportunities and risks. Comput. Law Secur. Rev. 31(6): 749-762 (2015) - [j23]Gregor Gößler, Daniel Le Métayer:
A general framework for blaming in component-based systems. Sci. Comput. Program. 113: 223-235 (2015) - [c57]Vinh-Thong Ta
Formal Accountability for Biometric Surveillance: A Case Study. APF 2015: 21-37 - [c56]Marouane Fazouane, Henning Kopp, Rens W. van der Heijden
Formal Verification of Privacy Properties in Electric Vehicle Charging. ESSoS 2015: 17-33 - [c55]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: 90-107 - [c54]Denis Butin
A Guide to End-to-End Privacy Accountability. TELERISE@ICSE 2015: 20-25 - [c53]Thibaud Antignac, Daniel Le Métayer:
Trust Driven Strategies for Privacy by Design. IFIPTM 2015: 60-75 - [c52]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: 493-510 - [c51]Nicolás Notario, Alberto Crespo
PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology. IEEE Symposium on Security and Privacy Workshops 2015: 151-158 - [i4]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 abs/1501.03726 (2015) - [i3]Christphe Lazaro, Daniel Le Métayer:
The control over personal data: True remedy or fairy tale ? CoRR abs/1504.03877 (2015) - 2014
- [j22]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): 63-84 (2014) - [c50]Thibaud Antignac, Daniel Le Métayer:
Privacy by Design: From Technologies to Architectures - (Position Paper). APF 2014: 1-17 - [c49]Nicolás Notario, Alberto Crespo
PRIPARE: A New Vision on Engineering Privacy and Security by Design. CSP Forum 2014: 65-76 - [c48]Denis Butin
Log Analysis for Data Protection Accountability. FM 2014: 163-178 - [c47]Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning about Data Minimisation and Integrity. STM 2014: 17-32 - [i2]Thibaud Antignac, Daniel Le Métayer:
Privacy Architectures: Reasoning About Data Minimisation and Integrity. CoRR abs/1408.1854 (2014) - [i1]Thibaud Antignac, Daniel Le Métayer:
Privacy by Design: From Technologies to Architectures (Position Paper). CoRR abs/1410.0030 (2014) - 2013
- [c46]Daniel Le Métayer:
Privacy by design: a formal framework for the analysis of architectural choices. CODASPY 2013: 95-104 - [c45]Gregor Gößler, Daniel Le Métayer:
A General Trace-Based Framework of Logical Causality. FACS 2013: 157-173 - [c44]Denis Butin
Log Design for Accountability. IEEE Symposium on Security and Privacy Workshops 2013: 1-7 - 2012
- [p2]Daniel Le Métayer, Julien Le Clainche:
From the Protection of Data to the Protection of Individuals: Extending the Application of Non-discrimination Principles. European Data Protection 2012: 315-329 - 2011
- [j21]Daniel Le Métayer, Manuel Maarek
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54(4): 99-106 (2011) - [c43]Romuald Thion, Daniel Le Métayer:
FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules. POLICY 2011: 1-8 - [c42]Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Daniel Le Métayer, Guillaume Piolle:
Delegation of Obligations and Responsibility. SEC 2011: 197-209 - [c41]Daniel Le Métayer:
Formal Methods as a Link between Software Code and Legal Rules. SEFM 2011: 3-18 - 2010
- [c40]Daniel Le Métayer, Manuel Maarek
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) 2010: 135-144 - [c39]Gregor Gößler, Daniel Le Métayer, Jean-Baptiste Raclet:
Causality Analysis in Contract Violation. RV 2010: 270-284 - [c38]Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer:
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. SBMF 2010: 194-209 - [c37]Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet:
Designing Log Architectures for Legal Evidence. SEFM 2010: 156-165 - [p1]Daniel Le Métayer:
Privacy by Design: A Matter of Choice. Data Protection in a Profiled World 2010: 323-334
2000 – 2009
- 2009
- [j20]Daniel Le Métayer, Shara Monteleone:
Automated consent through privacy agents: Legal requirements and technical architecture. Comput. Law Secur. Rev. 25(2): 136-144 (2009) - 2008
- [c36]Daniel Le Métayer:
A Formal Privacy Management Framework. Formal Aspects in Security and Trust 2008: 162-176 - [c35]Daniel Le Métayer, Claire Loiseaux:
ASTRA : A Security Analysis Method Based on Asset Tracking. SEC 2008: 541-555 - 2007
- [c34]Daniel Le Métayer:
IT Security Analysis Best Practices and Formal Approaches. FOSAD 2007: 75-91 - 2002
- [e3]Daniel Le Métayer:
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. Lecture Notes in Computer Science 2305, Springer 2002, ISBN 3-540-43363-5 [contents] - 2001
- [j19]Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer:
Model Checking Security Properties of Control Flow Graphs. J. Comput. Secur. 9(3): 217-250 (2001) - 2000
- [j18]Daniel Le Métayer:
Foreword. Theor. Comput. Sci. 240(1): 1-2 (2000) - [c33]Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Context: Security and Java Card. Java Card Workshop 2000: 1-5 - [c32]Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux:
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area. MOVEP 2000: 169-182 - [c31]David Mentré, Daniel Le Métayer, Thierry Priol:
Formalization and Verification of Coherence Protocols with the Gamma Framework. PDSE 2000: 105-113 - [c30]Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer:
Gamma and the Chemical Reaction Model: Fifteen Years After. WMP 2000: 17-44
1990 – 1999
- 1999
- [j17]Valérie Gouranton, Daniel Le Métayer:
Dynamic Slicing: a generic analysis based on a natural semantics format. J. Log. Comput. 9(6): 835-871 (1999) - [c29]Pascal Fradet, Daniel Le Métayer, Michaël Périn:
Consistency Checking for Multiple View Software Architectures. ESEC / SIGSOFT FSE 1999: 410-428 - [c28]Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Verification by Testing for Recursive Program Schemes. LOPSTR 1999: 255-272 - [c27]Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Verification of Control Flow based Security Properties. S&P 1999: 89-103 - 1998
- [j16]Pascal Fradet, Daniel Le Métayer:
Structured Gamma. Sci. Comput. Program. 31(2-3): 263-289 (1998) - [j15]Daniel Le Métayer, Valérie-Anne Nicolas, Olivier Ridoux:
Exploring the Software Development Trilogy. IEEE Softw. 15(6): 75-81 (1998) - [j14]Chris Hankin, Daniel Le Métayer, David Sands:
Refining Multiset Tranformers. Theor. Comput. Sci. 192(2): 233-258 (1998) - [j13]Daniel Le Métayer:
Describing Software Architecture Styles Using Graph Grammars. IEEE Trans. Software Eng. 24(7): 521-533 (1998) - [c26]Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Coarse Grained Java Security Policies. ECOOP Workshops 1998: 296 - [c25]Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn:
Security and Dynamic Class Loading in Java: A Formalization. ICCL 1998: 4-15 - 1997
- [j12]Daniel Le Métayer:
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. ACM SIGPLAN Notices 32(1): 86-88 (1997) - [c24]Lionel Van Aertryck, Marc V. Benveniste, Daniel Le Métayer:
CASTING: A Formally Based Software Test Generation Method. ICFEM 1997: 101-111 - [c23]Pascal Fradet, Daniel Le Métayer:
Shape Types. POPL 1997: 27-39 - [e2]David Garlan, Daniel Le Métayer:
Coordination Languages and Models, Second International Conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997, Proceedings. Lecture Notes in Computer Science 1282, Springer 1997, ISBN 3-540-63383-9 [contents] - 1996
- [j11]Daniel Le Métayer, David A. Schmidt:
Structural Operational Semantics as a Basis for Static Program Analysis. ACM Comput. Surv. 28(2): 340-343 (1996) - [j10]Daniel Le Métayer:
Program Analysis for Software Engineering: New Applications, New Requirements, New Tools. ACM Comput. Surv. 28(4es): 167 (1996) - [j9]Geoffrey Livingston 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): 75-109 (1996) - [c22]Pascal Fradet, Ronan Caugne, Daniel Le Métayer:
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP 1996: 125-140 - [c21]Pascal Fradet, Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language. LOMAPS 1996: 126-140 - [c20]Daniel Le Métayer:
Software Architecture Styles as Graph Grammars. SIGSOFT FSE 1996: 15-23 - 1995
- [j8]Chris Hankin, Daniel Le Métayer:
Lazy Type Inference and Program Analysis. Sci. Comput. Program. 25(2-3): 219-249 (1995) - [c19]Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer:
An approach to information security in distributed systems. FTDCS 1995: 384-394 - [c18]Daniel Le Métayer:
Proving Properties of Programs Defined over Recursive Data Structures. PEPM 1995: 88-99 - 1994
- [c17]Daniel Le Métayer:
Higher-Order Multiset Programming. Specification of Parallel Algorithms 1994: 179-200 - [c16]Chris Hankin, Daniel Le Métayer:
Lazy Type Inference for the Strictness Analysis of Lists. ESOP 1994: 257-271 - [c15]Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer:
Compile-Time Detection of Information Flow in Sequential Programs. ESORICS 1994: 55-73 - [c14]Chris Hankin, Daniel Le Métayer:
Deriving Algorithms From Type Inference Systems: Application to Strictness Analysis. POPL 1994: 202-212 - [c13]Chris Hankin, Daniel Le Métayer:
A Type-based Framework for Program Analysis. SAS 1994: 380-394 - 1993
- [j7]Jean-Pierre Banâtre, Daniel Le Métayer:
Programming by Multiset Transformation. Commun. ACM 36(1): 98-111 (1993) - [c12]Chris Hankin, Daniel Le Métayer, David Sands:
A Parallel Programming Style and Its Algebra of Programs. PARLE 1993: 367-378 - [c11]Geoffrey Livingston Burn, Daniel Le Métayer:
Proving the Correctness of Compiler Optimizations Based on Strictness Analysis. PLILP 1993: 346-364 - 1992
- [j6]Jean-Francois Giorgi, Daniel Le Métayer:
Continuation-Based Compilation of Functional Languages for Parallel Machines. Math. Struct. Comput. Sci. 2(4): 393-414 (1992) - [c10]Chris Hankin, Daniel Le Métayer, David Sands:
A Calculus of Gamma Programs. LCPC 1992: 342-355 - [c9]Chris Hankin, Daniel Le Métayer, David Sands:
Transformation of Gamma Programs. WSA 1992: 12-19 - [e1]Jean-Pierre Banâtre, Daniel Le Métayer:
Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Lecture Notes in Computer Science 574, Springer 1992, ISBN 3-540-55160-3 [contents] - 1991
- [b1]Jean-Pierre Banâtre, Simon B. Jones, Daniel Le Métayer:
Prospects for functional programming in software engineering. Research reports ESPRIT / project 302 1, Springer 1991, ISBN 978-3-540-53852-3, pp. I-IX, 1-210 - [j5]Pascal Fradet, Daniel Le Métayer:
Compilation of Functional Languages by Program Transformation. ACM Trans. Program. Lang. Syst. 13(1): 21-51 (1991) - [c8]Daniel Le Métayer:
The Chemical Reaction Model. Research Directions in High-Level Parallel Programming Languages 1991: 196 - [c7]Jean-Pierre Banâtre, Daniel Le Métayer:
Introduction to Gamma. Research Directions in High-Level Parallel Programming Languages 1991: 197-202 - 1990
- [j4]Jean-Pierre Banâtre, Daniel Le Métayer:
The GAMMA Model and Its Discipline of Programming. Sci. Comput. Program. 15(1): 55-77 (1990) - [c6]Jean-Francois Giorgi, Daniel Le Métayer:
Continuation-Based Parallel Implementation of Functional Programming Languages. LISP and Functional Programming 1990: 209-217
1980 – 1989
- 1989
- [c5]Simon B. Jones, Daniel Le Métayer:
A New Method for Strictness Analysis on Non-Flat Domains. Functional Programming 1989: 1-11 - [c4]Jean-Pierre Banâtre, Daniel Le Métayer:
Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117 - [c3]Simon B. Jones, Daniel Le Métayer:
Computer-Time Garbage Collection by Sharing Analysis. FPCA 1989: 54-74 - [c2]Pascal Fradet, Daniel Le Métayer:
Compilation of Lambda-Calculus into Functional Machine Code. TAPSOFT, Vol.2 1989: 155-166 - 1988
- [j3]Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
A parallel machine for multiset transformation and its programming style. Future Gener. Comput. Syst. 4(2): 133-144 (1988) - [j2]Jean-Pierre Banâtre, Anne Coutant, Daniel Le Métayer:
Parallel Machines for Multiset Transformation and their Programming Style / Parallele Maschinen für die Multimengen-Transformation und deren Programmierstil. it Inf. Technol. 30(2): 99-109 (1988) - [j1]Daniel Le Métayer:
ACE: An Automatic Complexity Evaluator. ACM Trans. Program. Lang. Syst. 10(2): 248-266 (1988) - 1985
- [c1]Daniel Le Métayer:
Mechanical analysis of program complexity. SLIPE 1985: 69-73
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 19:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: