Current Funding

• NSF CNS 0904380, "Reimagining cryptography by identifying its culturally-rooted assumptions" (TC medium). With Mihir Bellare and Ted Krovetz. Many thanks to program directors Richard Beigel and Lenore Zuck.

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. Prem Devanbu (PI, lead), along with Michael Gertz, Chip Martel, and Phil Rogaway (co-PIs).
• 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."