Tool Support of Formal Methods for Privacy by Design [article]

Sibylle Schupp
2019 arXiv   pre-print
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.
arXiv:1903.11092v1 fatcat:6mnlr5w5bna77bnphxe7yzzxku