32 citations · 34 across the 5 of their papers we have counts for
4 papers · 1 filter
Model-Checking the Implementation of Consent
Raúl Pardo, Daniel Le Métayer
Privacy policies define the terms under which personal data may be collected and processed by data controllers. The General Data Protection Regulation (GDPR) imposes requirements o…
DESIRE: A Third Way for a European Exposure Notification System Leveraging the best of centralized and decentralized systems
Claude Castelluccia, Nataliia Bielova, Antoine Boutet +4
This document presents an evolution of the ROBERT protocol that decentralizes most of its operations on the mobile devices. DESIRE is based on the same architecture than ROBERT but…
Analysis of Privacy Policies to Enhance Informed Consent (Extended Version)
Raúl Pardo, Daniel Le Métayer
In this report, we present an approach to enhance informed consent for the processing of personal data. The approach relies on a privacy policy language used to express, compare an…
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures
Julien Bringer, Herve Chabanne, Daniel Le Metayer +1
This work aims to show the applicability, and how, of privacy by design approach to biometric systems and the benefit of using formal methods to this end. Starting from a general f…