Tool Support of Formal Methods for Privacy by Design

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.