Language-Based Verification of Probability Security
Pajam Pauls explains how a language-based approach can be used to prove probabilistic security properties. He combines term rewriting with probabilistic reasoning.
The full recording can be found here:
Our speaker
Pajam Pauls completed his Master degree at the Institute for IT-Security at the Universität zu Lübeck in 2023. He is currently working at the institute as a research assistant.