Privacy Assessment of Software Architectures based on Static Taint Analysis

• Published in: arXiv.org
• Main Authors: Marcel von Maltitz, Diekmann, Cornelius, Carle, Georg
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 09.02.2017
• Subjects: Computer Science - Cryptography and Security; Cybersecurity; Information flow; Policy analysis; Privacy; Program verification (computers); Software
• ISSN: 2331-8422
• DOI: 10.48550/arxiv.1608.04671

Privacy analysis is critical but also a time-consuming and tedious task. We present a formalization which eases designing and auditing high-level privacy properties of software architectures. It is incorporated into a larger policy analysis and verification framework and enables the assessment of co...