Skip to content

Cryptyc: Cryptographic Protocol Type Checking (GRA-954)

Cryptyc: Cryptographic Protocol Type Checking is a documented award listed in the DePaul Resource Map (2002–2006). Funder: National Science Foundation (NSF). Cryptyc: Cryptographic Protocol Type Checking; PI Radha Jagadeesan; 2002–2006; https://www.nsf.gov/awardsearch/showAward?AWD_ID=208549

Summary ~

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

Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified

Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived

Award details

  • Award type: research grant

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

People

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

None documented.

No related outputs documented yet.

No related publications documented yet.

Verification

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

Sources

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.