STS-News

OS at UHH 2021

The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems

Kai Bavendiek is giving a lecture about "The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems" at the "<link https: www.inf.uni-hamburg.de inst ab snp courses master oberseminar.html _blank recent advances in it>Oberseminar: <link https: www.inf.uni-hamburg.de inst ab snp courses master oberseminar.html _blank recent advances in it>Recent Advances in IT Security" at the University of Hamburg.