Oct 7, 2024

VS at the Annual Meeting of the FoMSESS Group

The Distributed Systems Group participated at the 20th Annual Meeting of the FoMSESS (Formal Methods and Software Engineering for Secure Systems) Group at the KIT in Karlsruhe, Germany from 7-8 October, 2024.

At the meeting, Jens Leicht and Malte Josten presented their research with their talks titled PriPoCoG: A Prolog-Based Framework for Handling GDPR-Compliant Privacy Policies and Large Language Models as a Cyber Threat, respectively.

icdf2c
icdf2c

Links: