I recently joined the Security and Privacy Research Group here at Microsoft Research.  I am interested in a broad range of security topics (e.g., network and system security, applied cryptography, usable security, and data privacy), as well as topics such as operating system design, distributed systems, and mobile computing.  My current work focuses on protocols for verifiable computation and zero-knowledge proofs, building practical, formally verified secure systems, and developing next-generation application models.  I have been fortunate to work with many excellent interns, including Karthik Nagaraj, Mariana Raykova, Joshua Schiffman, Srinath Setty, and Xi Xiong.

I completed my PhD at Carnegie Mellon University under the supervision of Adrian Perrig.  My dissertation studies the design, implementation, and evaluation of a combination of hardware, software, and cryptographic primitives for extending the trust you have in one service or device in order to allow you to trust other services and devices.  My dissertation won the 2010 ACM Doctoral Dissertation Award.

Earlier in my career, I studied computer science at Harvard University.

News

• April 3, 2013 - Our paper, Embassies: Radically Refactoring the Web, received the Best Paper Award at the USENIX Symposium on Networked Systems Design and Implementation (NSDI).
• March 26, 2013 - I'll be co-chairing CCSW this year -- please consider submitting!
• March 12, 2013 - I'll be giving a plenary talk at ACNS this summer -- please consider attending!
• May 22, 2012 - Our paper, User-Driven Access Control: Rethinking Permission Granting in Modern Operating Systems, received the Best Practical Paper Award at the IEEE Symposium on Security and Privacy!
• December 19, 2011 - I was selected for Forbes' 30-Under-30: Science list.
• August 30, 2011 - Our book, Bootstrapping Trust in Modern Computers, has been published!  It can be purchased from Springer or Amazon. 
• May 11, 2011 - My dissertation won the 2010 ACM Doctoral Dissertation Award!

Professional Activities

• PC Co-Chair, ACM Cloud Computing Security Workshop (CCSW), 2013
• Workshop Organizer, Language Support for Privacy-Enhancing Technologies (PETShop), 2013
• Program Committee, ACM Conference on Computer & Communications Security (CCS), 2013
• Program Committee, Conference on Trust and Trustworthy Computing (TRUST), 2013
• Program Committee, IEEE Symposium on Security and Privacy (Oakland), 2013
• Program Committee, Network and Distributed System Security Symposium (NDSS), 2013
• Program Committee, ACM Conference on Computer & Communications Security (CCS), 2012
• Program Committee, ACM Cloud Computing Security Workshop (CCSW), 2012
• Program Committee, Conference on Trust and Trustworthy Computing (TRUST), 2012
• Program Committee, ACM Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), 2012
• Program Committee, Network and Distributed System Security Symposium (NDSS), 2012
• Program Committee, Conference on Cryptology and Network Security (CANS), 2011
• Program Committee, Network and Distributed System Security Symposium (NDSS), 2011
• Program Committee, IACR Conference on the Practice and Theory of Public Key Cryptography (PKC), 2011
• Program Committee, APWG eCrime Researchers Summit, 2010
• Program Committee, PhD Forum of The Conference on Mobile Systems, Applications and Services (MobiSys), 2010
• Program Committee, APWG eCrime Researchers Summit, 2009
• Program Committee, Financial Cryptography and Data Security Conference, 2009