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


5/14/18
Our paper on privacy and overfitting has been selected as a distinguished paper at the 31st IEEE Computer Security Foundations Symposium! First-author Sam Yeom will present the work at the conference in Oxford this July.
5/14/18
Check out our preprints on influence-directed explanations and counterfactual active learning.
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.

Last updated May. 14 2018