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.
IFIP SEC2019
