LECTURERS
Tom Chothia (University of Birmingham)
Verification of security protocols in ProVerif and Tamarin
Mauro Conti (University of Padova)
Side and Covert Channels: the Dr. Jekyll and Mr Hyde of Modern Technologies
Somesh Jha (University of Wisconsin)
Adversarial machine learning
Kenny Paterson (ETH Zurich)
Secure Messaging
Giuseppe Persiano (Università di Salerno)
Algorand Blockchain: introduction to blockchain and smart contract design
Shruti Tople (Microsoft Research)
Privacy and Security Analysis of Machine Learning Pipelines