Privacy by design is a paradigm shift in the way personal data are considered and processed.
To collect only data that is essential to the delivery of the service expected by the user, to provide a privacy friendly configuration by default, to manage personal data throughout their lifecycle…
In a nutshell: rather be safe than sorry when privacy is at risk!
Formal methods are a set of techniques relying on mathematical foundations to specify, develop and verify systems.
Properties of these latter, such as reliability, correctness, privacy, etc. can be mathematically proved in the early stages of the design phase.
To sum-up: problems are prevented rather than cured once the service has been deployed.
The benefits of the formal method approach to tackle privacy related problems are numerous.
Two out of them are the clear and unambiguous definition of the requirements of conflicting parties, and the possibility to explore the design space systematically.
A framework should provide to the designer of a system the toolbox he needs to build a privacy friendly system.
The meeting of the expectations of both the provider and the user will be achieved thanks to different tactics — including use of cryptographic primitives.