Trustworthy Tuesday - Language-Based Verification of Probabilistic Security

Beschreibung

In our next session of Trustworthy Tuesday, Pajam Pauls will give his presentation “Language-Based Verification of Probabilistic Security”. Pajam Pauls is a research associate at the Institute for IT Security at the University of Lübeck. His talk presents a language-based approach to proving probabilistic security properties. It combines term rewriting with probabilistic reasoning to model the behavior of programs and systems, and uses proof rules and proof systems to derive rigorous security guarantees. The aim is to provide a structured verification framework that connects formal reasoning techniques with security analysis, going beyond empirical evaluation and handwritten proofs.

In our webinar series Trustworthy Tuesday, we aim to break down the complex topic of formal verification and trustworthy IT into small bites. Researchers present their work in the field. A short input and a discussion round will provide an insight into research approaches and best practices.

The event will take place on April 21st, starting at 2pm (UTC +2) over Zoom (s. Website link above). We will upload the recording to the EvIT website after the event.

By registering, you agree to the declaration of consent for video recording. The declaration can be found here.

If you have any questions, please reach out to protect@gi.de.