Login / Signup
Kai Bavendiek
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 5
Top Topics
Secure Multiparty Computation
Vertically Partitioned Data
Service Systems
Privacy Preservation
Top Venues
J. Log. Algebraic Methods Program.
PST
SEC
GI-Jahrestagung
</>
Publications
</>
Kai Bavendiek
,
Sibylle Schupp
A process calculus for privacy-preserving protocols in location-based service systems.
J. Log. Algebraic Methods Program.
125 (2022)
Marius Stübs
,
Tobias Mueller
,
Kai Bavendiek
,
Manuel Lösch
,
Sibylle Schupp
,
Hannes Federrath
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids.
DBSec
(2020)
Jan Kaiser
,
Kai Bavendiek
,
Sibylle Schupp
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data.
GI-Jahrestagung
(2019)
Kai Bavendiek
,
Tobias Mueller
,
Florian Wittner
,
Thea Schwaneberg
,
Christian-Alexander Behrendt
,
Wolfgang Schulz
,
Hannes Federrath
,
Sibylle Schupp
Automatically Proving Purpose Limitation in Software Architectures.
SEC
(2019)
Kai Bavendiek
,
Robin Adams
,
Sibylle Schupp
Privacy-Preserving Architectures with Probabilistic Guaranties.
PST
(2018)