Teaching

Current Semester

• Semester 2019-20-II aka Spring 2019: Designing Verifiably Secure Systems.

Past Teaching

• Semester 2019-20-I aka Fall 2019: Computer Systems Security.
• Semester 2018-19-II aka Spring 2019: Computer Systems Security.
• Semester 2018-19-I aka Fall 2018: Designing Verifiably Secure Systems.