Teaching

Active courses

• Cryptographic Protocols, Master’s in Formal Methods UAM/UCM/UPM, Madrid (2021-present; jointly taught with Ignacio Cascudo and Pedro Moreno-Sanchez)
• Computer Security, Master in Software and Systems UPM Madrid (2014-present; joint with J. Caballero, I. Cascudo, A. Gorla, M. Guarnieri, S. Matic)

Past courses

• Foundations of Cryptography seminar at UPM Madrid (Spring 2018)
• Introduction to Cryptography seminar at UPM Madrid (Fall 2014)
• Introduction to Cryptography, teaching assistant at NYU CSCI-GA.3210-001/MATH-GA.2170-001 (Spring 2012) Recitation and Office hours: Thursday 5:30-7pm room WWH 512.
• Black-Box Separations and Impossibility Results Invited lectures at Scuola Superiore di Catania (Mediterranean University Center)