Kai Bavendiek

According to our database, Kai Bavendiek authored at least 6 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

The σ-calculus: a process calculus for privacy-preserving protocols in location-based service systems.

Kai Bavendiek

PhD thesis, 2022

A process calculus for privacy-preserving protocols in location-based service systems.

Kai Bavendiek, Sibylle Schupp

J. Log. Algebraic Methods Program., 2022

2020

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids.

Marius Stübs, Tobias Mueller, Kai Bavendiek, Manuel Lösch, Sibylle Schupp, Hannes Federrath

Proceedings of the Data and Applications Security and Privacy XXXIV, 2020

2019

Automatically Proving Purpose Limitation in Software Architectures.

Kai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian-Alexander Behrendt, Wolfgang Schulz, Hannes Federrath, Sibylle Schupp

Proceedings of the ICT Systems Security and Privacy Protection, 2019

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data.

Jan Kaiser, Kai Bavendiek, Sibylle Schupp

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019

2018

Privacy-Preserving Architectures with Probabilistic Guaranties.

Kai Bavendiek, Robin Adams, Sibylle Schupp

Proceedings of the 16th Annual Conference on Privacy, Security and Trust, 2018