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