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.
18.11.2021
J. of Logical and Algebraic Methods in Programming
A process calculus for privacy-preserving protocols in location-based service systems
The paper "A process calculus for privacy-preserving protocols in location-based service systems" by Kai Bavendiek and Sibylle Schupp is now in press. The electronic version is available on the <link https: www.sciencedirect.com science article abs pii s2352220821000985 _blank>JLAMP website.
