  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.
