LECTURERS
Bruno Crispo (University of Trento)
Software-Based Trusted Computing Architectures for Isolation and Attestation
Borja de Balle Pigem (DeepMind)
Machine learning and privacy
Sabrina De Capitani di Vimercati (University of Milan)
Data protection
Theo Dimitrakos (Huawei and University of Kent)
Digital sovereignty
Daniel Gruss (Technische Universität Graz)
Micro-architectural attacks
Sokratis Katsikas (Norwegian University of Science and Technology)
Cyber physical systems security
Aggelos Kiayias (University of Edinburgh and IOG)
Blockchain protocol modelling and security proofs
Sebastian Alexander Mödersheim (DTU Lyngby)
Automated verification and composition of security protocols in Isabelle/HOL
TIMETABLE
Welcome buffet: Sunday 27 August, starting from 19:30 at the canteen, and Monday 28 August, starting from 19:30 at the fortress terrace.
Social dinner: Wednesday 30 August
Breakfast and lunch are served at the canteen.
Applications for the open session from the participants are welcome until August 10. See instructions and the final program.