Kai Bavendiek is giving a lecture about "The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems" at the "Oberseminar: Recent Advances in IT Security" at the University of Hamburg.
OS at UHH 2021
Institute for Software Systems
STS is an Institute of Hamburg University of Technology and the
School of Electrical Engineering and Information Technology.
Under the slogan "Software, Technology and Systems (STS)",
the institute combines fundamental research on descriptions and
dependences of software systems with practical issues and applications
from both engineering and social sciences.