Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

106 résultats
Page :
triés par
Image document

Capacity: an Abstract Model of Control over Personal Data

 Daniel Le Métayer , Pablo Rauzy
[Research Report] RR-9124, Inria Grenoble Rhône-Alpes; Université Paris 8. 2017, pp.1-21
Rapport hal-01638190v2
Image document

Programs, Properties, and Data: Exploring the Software Development Trilogy

 Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux
IEEE Software, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩
Article dans une revue hal-00783203v1
Image document

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

 Christphe Lazaro , Daniel Le Métayer
[Research Report] RR-8681, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.25
Rapport hal-01141461v2

PRIPARE: Integrating Privacy Best Practices into a Privacy Engineering Methodology

 Nicolás Notario , Alberto Crespo , Yod-Samuel Martín , José del Alamo , Daniel Le Métayer , et al.
International Workshop on Privacy Engineering (IWPE 2015), May 2015, San Jose, CA, United States. pp.8, ⟨10.1109/SPW.2015.22⟩
Communication dans un congrès hal-01244588v1
Image document

Capacity: an Abstract Model of Control over Personal Data

 Daniel Le Métayer , Pablo Rauzy
CODASPY 2018 - ACM Conference on Data and Application Security and Privacy, Mar 2018, Tempe, United States. pp.1-12
Communication dans un congrès hal-01939847v1
Image document

A Generic Information and Consent Framework for the IoT

 Mathieu Cunche , Daniel Le Métayer , Victor Morel
TRUSTCOM 2019 - 18th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2019, Rotorua, New Zealand. pp.1-8
Communication dans un congrès hal-02166181v1
Image document

Interdisciplinarity in practice: Challenges and benefits for privacy research

 Daniel Le Métayer , Mathias Bossuet , Fanny Coudert , Claire Gayrel , Francisco Jaime , et al.
Computer Law and Security Review, 2017, 33 (6), pp.864-869. ⟨10.1016/j.clsr.2017.05.020⟩
Article dans une revue hal-01660055v1
Image document

ROBERT: ROBust and privacy-presERving proximity Tracing

 Claude Castelluccia , Nataliia Bielova , Antoine Boutet , Mathieu Cunche , Cédric Lauradoux , et al.
2020
Pré-publication, Document de travail hal-02611265v1
Image document

DESIRE : une Troisième Voie pour un Système Européen de Notification d'Exposition

 Vincent Roca , Nataliia Bielova , Antoine Boutet , Claude Castelluccia , Mathieu Cunche , et al.
[Rapport de recherche] Inria. 2020
Rapport hal-02568730v1
Image document

Towards a framework for challenging ML-based decisions

 Clément Henin , Daniel Le Métayer
DeceptECAI 2020 - 1st International Workshop on Deceptive AI @ECAI2020, Aug 2020, Santiago de Chili, Chile. pp.1-13
Communication dans un congrès hal-02932467v1

Au service des citoyens

 Daniel Le Métayer
Textes et documents pour la classe, 2010, 997, pp.22-24
Article dans une revue hal-00789688v1

Formal verification of privacy properties in electrical vehicle charging.

 Marouane Fazouane , Henning Kopp , Rens van Der Heijden , Daniel Le Métayer , Franck Kargl
International Symposium on Engineering Secure Software and Systems (ESSOS15), Mar 2015, Milan, Italy
Communication dans un congrès hal-01089925v1

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

 Nicolás Notario , Daniel Le Métayer , Alberto Crespo , Antonio Kung , Inga Kroener , et al.
CYBER SECURITY & PRIVACY FORUM 2014, May 2014, Athènes, Greece
Communication dans un congrès hal-01089889v1

Testing the robustness of anonymization techniques: acceptable versus unacceptable inferences

 Gergely Acs , Claude Castelluccia , Daniel Le Métayer
The Brussels Privacy Symposium , Nov 2016, brussels, Belgium
Communication dans un congrès hal-01399858v1

Privacy by Design: a Formal Framework for the Analysis of Architectural Choices

 Daniel Le Métayer
CODASPY, ACM Conference on Data and Applications Security and Privacy, Feb 2013, San Antonio, United States
Communication dans un congrès hal-00765966v1

From the protection of data to the protection of individuals: extending the application of non-discrimination principles.

 Daniel Le Métayer
S. Gutwirth, Y Poullet, P. de Hert. European Data Protection: in Good Health ?, Springer Verlag, pp.315-326, 2012, ⟨10.1007/978-94-007-2903-2_15⟩
Chapitre d'ouvrage hal-00765967v1

Les technologies au service des droits, opportunités, défis, limites.

 Daniel Le Métayer
Le Métayer Daniel. Bruylant, pp.302, 2010, Cahiers du centre de recherches informatique et droit, 9782802729600
Ouvrages hal-00789695v1
Image document

A Framework to Contest and Justify Algorithmic Decisions

 Clement Henin , Daniel Le Métayer
AI and Ethics, 2021, 1, pp.463-476. ⟨10.1007/s43681-021-00054-3⟩
Article dans une revue hal-03127932v1
Image document

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

 Thibaud Antignac , Daniel Le Métayer
APF - Annual Privacy Forum 2014, May 2014, Athens, Greece. pp.1-17, ⟨10.1007/978-3-319-06749-0_1⟩
Communication dans un congrès hal-01070140v1
Image document

Verification by Testing for Recursive Program Schemes

 Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux
Lecture Notes in Computer Science, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272. ⟨10.1007/10720327_15⟩
Article dans une revue hal-00783194v1
Image document

Log Analysis for Data Protection Accountability (Extended Version)

 Denis Butin , Daniel Le Métayer
[Research Report] RR-8432, INRIA. 2013, pp.18
Rapport hal-00921156v1

Formal Accountability for Biometric Surveillance: A Case Study

 Daniel Le Métayer , Denis Butin , Vinh-Thong Ta
Annual Privacy Forum (APF 2015), Oct 2015, Luxembourg, Luxembourg
Communication dans un congrès hal-01247119v1
Image document

Trust Driven Strategies for Privacy by Design (Long Version)

 Thibaud Antignac , Daniel Le Métayer
[Research Report] RR-8676, Inria. 2015, pp.21
Rapport hal-01112856v1
Image document

Beyond explainability: justifiability and contestability of Algorithmic Decision Systems

 Clément Henin , Daniel Le Métayer
AI & Society: Knowledge, Culture and Communication, 2021, ⟨10.1007/s00146-021-01251-8⟩
Article dans une revue hal-03165232v1

Le consentement au traitement des données personnelles : une perspective comparative sur l’autonomie du sujet

 Christophe Lazaro , Daniel Le Métayer
Revue juridique Thémis de l'Université de Montréal, 2014, 48 (3), pp.32
Article dans une revue hal-01089902v1

Au service des citoyens

 Daniel Le Métayer
Interstices, 2010
Article dans une revue hal-01350273v1
Image document

A calculus of Gamma programs

 Chris Hankin , Daniel Le Métayer , David Sands
[Research Report] RR-1758, INRIA. 1992
Rapport inria-00076998v1
Image document

Dynamic Slicing: a Generic Analysis Based on a Natural Semantics Format

 Valérie Gouranton , Daniel Le Métayer
[Research Report] RR-3375, INRIA. 1998
Rapport inria-00073314v1
Image document

Privacy Risk Analysis to Enable Informed Privacy Settings

 Sourya Joyee De , Daniel Le Métayer
IWPE 2018 – 4th IEEE International Workshop on Privacy Engineering, Apr 2018, London, United Kingdom. pp.1-8
Communication dans un congrès hal-01939845v1
Image document

DESIRE: A Third Way for a European Exposure Notification System (SUMMARY - EN)

 Nataliia Bielova , Antoine Boutet , Claude Castelluccia , Mathieu Cunche , Cédric Lauradoux , et al.
[Research Report] Inria. 2020
Rapport hal-02570172v1
Page :