Current Funding

• National Science Foundation grant CCR-0208842 (an ITR small). Mihir Bellare, co-PI.
  Practice-oriented provable security for higher-layer protocols: models, analyses, and solutions.
  Many thanks to the NSF and program director Carl Landwehr for their support of my research.

• A gift from Intel Corporation.
  A practice-oriented provable-security treatment for some cryptographic problems of contemporary interest.
  Many thanks to Jesse Walker and all the fine folks at Intel for their support of my research.

Past Funding

• A gift from Cisco Systems under their University Research Program. Thanks to David McGrew.
• NSF 0085961 (ITR medium). ITR: Scalable and Secure Information Republication. Prem Devanbu (PI) and Michael Gertz, Chip Martel, Phil Rogaway (co-PIs).
• MICRO grant 99-103 (Orincon).
• MICRO grant 98-129 (Orincon, RSA. Thanks to Burt Kaliski.
• MICRO grant 97-150 (Certicom, RSA). Thanks to Don Johnson and Burt Kaliski.
• NSF CAREER Award 9624560. Practice-oriented provable security.