Programming Principles and Abstractions for Privacy (B02)

• Subject Area: Software Engineering and Programming Languages
• Term: from 2016 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 272573906

Constraining applications so that they adhere to individual privacy requirements strongly profits from carefully designed code. We propose to build programming principles that allow developers to enforce privacy by design, taking into account possible privacy constraints during deployment: the more permissive the user's privacy policies, the more functionality can be provided. We envision a system where app developers structure their code into modules; static and dynamic analysis techniques will ensure that the policy on a module is enforced, and gradual app development will tackle privacy compliance for one module at a time. We will evaluate our system based on realistic case studies for Web and Android applications.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1223: Methods and Tools for Understanding and Controlling Privacy
• Applicant Institution: Universität des Saarlandes
• Co-Applicant Institution: Max-Planck-Institut für Softwaresysteme
• Project Heads: Dr. Deepak Garg, Ph.D.; Professor Dr.-Ing. Christian Hammer