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.


Check out our preprint on overfitting and privacy, available on arXiv.
Our preprint on PrivacyProxy is now available on arXiv.
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.
Check out our preprint on proxy non-discrimination, available on arXiv.
Our paper, PrivacyStreams: Enabling Transparency in Personal Data Processing for Mobile Apps, was accepted at Ubicomp 2017!
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