Privacy by Design
Daniel Le Métayer
Cappris Project Lab
A lot of research about Privacy Enhancing Techniques has been done including cryptography and protocols. However, no systematic method to design architectures nor to formally verify their conformance to a specification is proposed. As a consequence, it is still an art-craft to design privacy-friendly architectures, this work is an attempt at providing a formal methods-based framework and a methodology to help to the emergence of standard industrial practices. Such possibilities are needed by the industry considering the next changes in the regulations planned for the following years.
The integration of the theoretical framework into a computer-aided design software to support architectures exploration is another step to complete to provide a useful tool. Exploration of patterns, automatic theorem proving techniques or constraint satisfaction problem resolutions are promising roads for the future.