Probably Secure?!
Trustworthy Tuesday ist zurück! Pajam Pauls stellt Sprachbasierte Verifikation von Probabilistischer Sicherheitsanalyse vor.
Veranstaltungsort
Online (Zoom)-, Deutschland
Beschreibung
Im April präsentiert Pajam Pauls Sprachbasierte Verifikation von Probabilistischer Sicherheitsanalyse. Dabei gibt er einen Einblick in ein strukturiertes Verifikationsframework, das formale Argumentationstechniken mit Sicherheitsanalysen verbindet.
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input-Vorträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließenden Diskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Best Practices und praktische Ansätze zu beleuchten.
Die Reihe richtet sich sowohl an Studierende als auch an Interessierte, die einen Einblick zu formalen Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplettes Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“ in der Mittagspause.