Probably Secure?!

Description

In April, Pajam Pauls presents Language-Based Verification of Probability Security.

Trustworthy Tuesday is a compact lunchtime webinar series that provides exciting insights into the field of trustworthy IT systems and formal verification. With 15-20 minute input presentations, we invite participants to a subsequent discussion and a round of technical questions to highlight current developments, best practices, and practical approaches.

The series is aimed at both students and anyone interested in gaining an insight into formal methods and trustworthy IT—without having to take a full seminar. The compact format is ideal as a “knowledge snack” during your lunch break.