Privacy by Design: From Technologies to Architectures (Position Paper)
  Existing work on privacy by design mostly focus on technologies rather than methodologies and on components rather than architectures. In this paper, we advocate the idea that privacy by design should also be addressed at the architectural level and be associated with suitable methodologies. Among other benefits, architectural descriptions enable a more systematic exploration of the design space. In addition, because privacy is intrinsically a complex notion that can be in tension with other requirements, we believe that formal methods should play a key role in this area. After presenting our position, we provide some hints on how our approach can turn into practice based on ongoing work on a privacy by design environment. 
Thibaud Antignac (Inria Grenoble Rh\^one-Alpes / CITI Insa de Lyon),   Daniel Le M\'etayer (Inria Grenoble Rh\^one-Alpes / C...
cs.CR