REU Supplement to CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks

Duration:
-

REU Supplement to CT-ISG: Specification and Verification Challenges for Security Protocols in Sensor Networks. NSF

Funding Organization

www.nsf.gov

Award Amount

$16,000

Award Number

0627354

Principal Investigator

Hridesh Rajan