Current Funding

• NSF CNS 1228828, “Deconstructing encryption” (TWC: Medium: Collaborative). With Mihir Bellare. Thanks to program manager Nina Amla.
• NSF CNS 0904380, “Reimagining cryptography by identifying its culturally-rooted assumptions” (TC: Medium). With Mihir Bellare and Ted Krovetz. Thanks to program managers Richard Beigel, Lenore Zuck, and Nina Amla.

Past Funding

• Intel Corporation (annual gifts). “A practice-oriented provable-security treatment for some cryptographic problems of contemporary interest.” Many thanks to Jesse Walker.
• NSF CCR-0208842 (ITR small). With Mihir Bellare. “Practice-oriented provable security for higher-layer protocols: models, analyses, and solutions.” Thanks to program director Carl Landwehr.
• Cisco Systems (gift), under their University Research Program. Many thanks to David McGrew.
• NSF 0085961 (ITR medium). “Scalable and secure information republication.” With Prem Devanbu (PI, lead), Michael Gertz, and Chip Martel.
• MICRO grant 99-103 (Orincon).
• MICRO grant 98-129 (Orincon and RSA). Thanks to Burt Kaliski.
• MICRO grant 97-150 (Certicom and RSA). Thanks to Don Johnson and Burt Kaliski.
• NSF CAREER Award 9624560, “Practice-oriented provable security.”