Courses

• Formal Analysis of Real-World Security Protocols (2024). An advanced course in formal analysis of security protocols. The first half of the course covers the foundations of protocol verification in the symbolic model. In the second part, we use a state-of-the-art cryptographic verification tool, the Tamarin prover, to model and analyze security protocols.
  [SLIDES]

Tutorials

• Network Security (2017-2023). An advanced course in network security. Topics include common security technologies for networking and communication in distributed systems.
• Information Security (2017-2022). An introductory course in information security. Topics include key concepts and abstractions of information security.
• Data Structures and Algorithms (2017). An introductory course in the principles of algorithm analysis and elementary data structures.
• Theoretical Computer Science (2016). An introductory course in basic concepts of theoretical computer science.

Summer Schools

• Summer School in Cyber Security (2020). A one-week practical hands-on course in security analysis and penetration testing. The course was organized for the students of an Erasmus Mundus joint master degree programme in Security and Cloud Computing (SECCLO).

Supervision

• Anand Vasudevan. Formal Analysis and Verification of OAuth 2.0 in SSO. Master’s thesis, Aalto University. 2023.