The International Conference on Privacy, Security & Trust (PST) is an annual conference dedicated to everything in the field of cybersecurity. There are conference tracks for the three areas of privacy, security and trust. The paper (accepted for publication) “Privacy-Preserving Architectures with Probabilistic Guaranties” by Kai Bavendiek, Robin Adams and Sibylle Schupp describes the extension of an existing approach that – following the concept of “Privacy by Design” (PbD) – proposes a formal logic for proving privacy properties in software architectures. The extension focuses on non-deterministic or uncertain properties for which binary decisions are not sufficient. Probabilistic properties are proposed, which are demonstrated by a smart home case study.
