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.
25.06.2019
IFIP SEC2019
Automatically Proving Purpose Limitation in Software Architectures
Kai Bavendiek presents the paper Automatically Proving Purpose Limitation in Software Architectures at the 34th International Conference on Information Security and Privacy Protection (<link https: www.ifipsec.org _blank>IFIP SEC2019) in Lisbon.