Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
02.02.2021
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.