I am an Assistant Professor in the School of Computer Science
, and am a member of CyLab
, the Societal Computing Program
, and the Principles of Programming Group
My research interests are in security, privacy, formal methods, and programming languages. Before coming here, I finished my PhD in Computer Science
at the University of Wisconsin-Madison in 2015.
- Our paper, Verifying and Synthesizing Constant-Resource Implementations with Types (with Van Chan Ngo, Mario Dehesa-Azuara, and Jan Hoffmann), will appear in the 2017 IEEE Symposium on Security & Privacy (Oakland). Check back soon for the paper, technical report, and code.
- The course website for 15316, Software Foundations of Security and Privacy, is now up.
- Our TR, Quantifying and Preventing Side Channels with Substructural Type Systems (with Van Chan Ngo, Mario Dehesa-Azuara, and Jan Hoffmann), is now available.
- The course website for 15414, Bug Catching: Automated Program Verification and Testing, is now up.
- I've been invited to serve on the program committee for the 2017 IEEE Symposium on Security and Privacy and the USENIX Security Symposium.
- A Methodology for Formalizing Model-Inversion Attacks will appear at CSF '16!
- I've been invited to serve on the program committee for NDSS 2017.
- The course webpage for 15811/18739, which will be taught this coming spring by Prof. Limin Jia and myself, is now online.
- I've been invited to serve on the program committees for USENIX Security and CCS in 2016.
- Our paper, The Limitations of Deep Learning in Adversarial Settings was accepted to EuroS&P 2016. Read the preprint here.
- I've been invited to serve on the program committee for the IEEE Computer Security Foundations Symposium (CSF 2016) and the Workshop on Understanding and Enhancing Online Privacy (affiliated with NDSS'16).
- Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures (with Somesh Jha and Tom Ristenpart) to appear at CCS.
- I've been invited to serve on the program committee for PLDI 2016.
- Our report, Surreptitiously Weakening Cryptographic Systems (with Schneier, Kohno, and Ristenpart) profiled in Wired. Read the article here.
- Our paper, Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing, was given the best paper award at USENIX Security 2014!
Last updated Feb. 10 2017