Tool Support of Formal Methods for Privacy by Design
Sibylle Schupp

TL;DR
This paper reviews existing formal methods tools supporting privacy by design, summarizing their approaches, application domains, and availability, to provide a comprehensive overview of the current state of the field.
Contribution
It offers the first systematic overview of formal methods tools for privacy by design, analyzing their approaches, domains, and implementation status.
Findings
Several formal methods approaches are applied to privacy by design.
Most tools are tailored for specific application domains.
Limited availability of tools for practical deployment.
Abstract
Formal methods are, in principle, suited for supporting the recent paradigm of privacy by design, but no overview is available that summarizes which particular approaches have been investigated, for which application domains they are suited, and whether they are implemented and available as tools. Using the techniques of search-based literature review and snowballing this paper answers those questions for a selected set of research papers.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPrivacy, Security, and Data Protection · Privacy-Preserving Technologies in Data · Digital and Cyber Forensics
