FUNDING

DARPA Contract Number FA8750-11-2-0225. “Computing on Encrypted Data: Theory and Applications.” 5/25/11 – 1/31/15.

NSF Grant Number CCF-1018064. “Trustworthy Computing:Securing Programs and Data In Remote and Hostile Environments.” 9/1/10 – 8/31/13.

NSF Grant Number CFF-0635297. “Program Obfuscation: Foundations and Applications.” 10/1/06 – 9/30/10.

NSF Grant Number CCF-0729011. “New Handles on Program Correctness.” 9/1/07 – 8/31/11.

NSF Grant Number CCF-0514167. “Learning Fourier Coefficients”. 7/1/05 – 6/30/09.

NSF Grant Number CNS-0430450. “Cryptographic Foundations of CyberTrust.” 9/1/04 – 8/31/07.

Simons Foundation Investigator