Statements and CV
Research and Teaching Statement.
CV.
Publications
For a selected set of abstracts and several video summaries, see here.
For a full list of publications, see my personal webpage, my Google scholar profile, or my dblp page.
Teaching
CS495 / CS587 : Introduction to Cryptography (Spring 2020)
CS330: Formal Methods and Models (Spring 2019)
CS795: Topics in Privacy, Anonymity and Fairness (Fall, 2018)
CS600: Theory of Computation (Spring 2018)
ISA562: Information Security, Theory and Practice (Fall, 2017)
CS795: Introduction to Cryptography (Fall 2016)