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.

News


2017
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.
2017
The course website for 15316, Software Foundations of Security and Privacy, is now up.
2016
Our TR, Quantifying and Preventing Side Channels with Substructural Type Systems (with Van Chan Ngo, Mario Dehesa-Azuara, and Jan Hoffmann), is now available.
2016
The course website for 15414, Bug Catching: Automated Program Verification and Testing, is now up.
2016
I've been invited to serve on the program committee for the 2017 IEEE Symposium on Security and Privacy and the USENIX Security Symposium.
2016
A Methodology for Formalizing Model-Inversion Attacks will appear at CSF '16!
2016
I've been invited to serve on the program committee for NDSS 2017.
2016
The course webpage for 15811/18739, which will be taught this coming spring by Prof. Limin Jia and myself, is now online.
2016
I've been invited to serve on the program committees for USENIX Security and CCS in 2016.
2016
Our paper, The Limitations of Deep Learning in Adversarial Settings was accepted to EuroS&P 2016. Read the preprint here.
2016
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).
2015
Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures (with Somesh Jha and Tom Ristenpart) to appear at CCS.
2015
I've been invited to serve on the program committee for PLDI 2016.
2015
Our report, Surreptitiously Weakening Cryptographic Systems (with Schneier, Kohno, and Ristenpart) profiled in Wired. Read the article here.
2014
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