Distinguished lectures

The TPTP World - Infrastructure for Automated Reasoning
2025-06-23

Geoff Sutcliffe
University of Miami
Assume-Guarantee Contracts for Trustworthy Autonomous Cyber-Physical Systems
2025-06-11

Pierluigi Nuzzo
UC Berkeley
Larger Decentralized Platforms Don't Necessarily Offer Better Security
2025-05-30

Ghassan Karame
Ruhr-University Bochum
Sustainable Cybersecurity
2025-05-07

Johannes Buchmann
Center for Advanced Security Research Darmstadt
Round-Optimal Fully Secure Distributed Key Generation
2025-03-04

Jonathan Katz
Google
Towards a Secure and Privacy-Respecting Web
2024-12-20

Christoph Kerschbaumer
Mozilla
Idealized Models in Cryptography: What, Why, and Where to Now?
2024-11-26

Adam O'Neill
University of Massachusetts
Reproducible and Ethical Web Security Measurements
2024-11-15

Ben Stock
CISPA Helmholtz Center for Information Security
Semantic Models for Trustworthy Systems
2024-10-16

Giancarlo Guizzardi
University of Twente
Proofs as Polynomials
2024-09-27

Ruzica Piskac
Yale University
On Challenges in Defending Against Code Stylometry
2024-06-24

Konrad Rieck
TU Berlin
Context-aware Trace Contracts
2024-03-26

Reiner Hähnle
TU Darmstadt
Data, AI and Cybersecurity - a possible cocktail?
2023-09-15

Marco Mellia
Politecnico di Torino
Cryptography in the Wild
2023-06-28

Kenneth Paterson
ETH Zurich
Consensus in blockchains: Overview and recent results
2023-06-21

Christian Cachin
University of Bern