I am an Assistant Professor in the Computer Science Department and Institute for Software Research, and am a member of CyLab and the Principles of Programming Group. My research interests are in security, privacy, formal methods, and programming languages.

News


9/7/17
Check out our preprint on overfitting and privacy, available on arXiv.
8/21/17
Our preprint on PrivacyProxy is now available on arXiv.
8/3/17
Our paper, Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs, was accepted at CCS 2017! Check out the TR on arXiv.
7/25/17
Check out our preprint on proxy non-discrimination, available on arXiv.
6/27/17
Our paper, PrivacyStreams: Enabling Transparency in Personal Data Processing for Mobile Apps, was accepted at Ubicomp 2017!
2/9/17
Our paper, Verifying and Synthesizing Constant-Resource Implementations with Types, will appear in the 2017 IEEE Symposium on Security & Privacy (Oakland).

Last updated Sept. 7 2017