Privacy by design is a paradigm shift in the way system processing personal data are considered and built.
To ensure data minimisation (that is, to collect only data essential for the purposes), 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 at their early design stage.
To sum-up: problems are prevented early rather than cured later, once the service has been deployed.
The benefits of the formal methods 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 requirements of both the provider and the user will be achieved thanks to different tactics — including use of cryptographic primitives.