Privacy-Preserving Architectures with Probabilistic Guaranties. - Kai Bavendiek; Robin Adams 001; Sibylle Schupp (PST, 2018)

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data. - Jan Kaiser; Kai Bavendiek; Sibylle Schupp (GI-Jahrestagung, 2019)

Automatically Proving Purpose Limitation in Software Architectures. - Kai Bavendiek; Tobias Mueller; Florian Wittner; Thea Schwaneberg; Christian-Alexander Behrendt; Wolfgang Schulz 002; Hannes Federrath; Sibylle Schupp (SEC, 2019)

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids. - Marius Stübs; Tobias Mueller; Kai Bavendiek; Manuel Lösch; Sibylle Schupp; Hannes Federrath (DBSec, 2020)

A process calculus for privacy-preserving protocols in location-based service systems. - Kai Bavendiek; Sibylle Schupp (J. Log. Algebraic Methods Program., 2022)

The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems. - Kai Bavendiek (2022)