Primary Recipient

UNIVERSITY OF ILLINOIS

Amount

$240,000.00

Award Date

7/14/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

The project develops cryptographic protocol reasoning techniques that take into account algebraic properties of cryptosystems. Traditionally, formal methods for cryptographic protocol verification view cryptographic operations as a black box, ignoring the