Cryptyc: Cryptographic Protocol Type Checking (GRA-954)

Summary

• Sponsor / funder: National Science Foundation (NSF)
• Program: Not specified
• Status: completed
• Period: 2002 – 2006
• Lead unit: Not specified

Award details

• Award type: research grant

Cryptyc: Cryptographic Protocol Type Checking; PI Radha Jagadeesan; 2002–2006; www.nsf.gov/awardsearch/showAward

People

• Radha Jagadeesan (PI)
• Alan A. Jeffrey (Co-PI)

Related resources

None documented.

Related outputs

No related outputs documented yet.

Related publications

No related publications documented yet.

Verification

• Status: Likely current
• Notes: Derived from institutional award records.

Sources

• scholars.depaul.edu/en/projects/cryptyc-cryptographic-proto…

Notes

Award metadata compiled from published DePaul research reporting. Listing here records documented activity; it is not an evaluation of the award, the people, or the unit.