LECTURERS

Verification of security protocols in ProVerif and Tamarin

Side and Covert Channels: the Dr. Jekyll and Mr Hyde of Modern Technologies

Adversarial machine learning

Secure Messaging

Algorand Blockchain: introduction to blockchain and smart contract design

Privacy and Security Analysis of Machine Learning Pipelines