Language-Based Verification of Probability Security
Pajam Pauls erklärt, wie ein sprachbasierter Ansatz zum Nachweis probabilistischer Sicherheitseigenschaften genutzt werden kann. Er verbindet Termumschreibungen mit probabilistischer Argumentation.
Die vollständige Aufnahme findet sich hier:
Unser Redner
Pajam Pauls hat 2023 seinen Master am Institut für IT-Sicherheit an der Universität zu Lübeck absolviert. Seitdem arbeitet er dort als Forschungsassistent.