Cryptyc: cryptographic protocol type checker. The Cryptyc system is a Cryptographic Protocol Type Checker. Unlike most typecheckers, it does not just check for simple data errors, such as dereferencing an integer or treating a pointer as a boolean. It can also statically check for security violations such as secrecy or authenticity errors. The Cryptyc system is implemented as a Java applet and as a command-line application. You can use the applet to edit sample protocols, and to typecheck the protocols to ensure they do not violate the security policies.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Sattarzadeh, Behnam; Fallah, Mehran S.: Automated type-based analysis of injective agreement in the presence of compromised principals (2015)
- Haack, Christian; Jeffrey, Alan: Pattern-matching spi-calculus (2006)
- Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio: A type discipline for authorization policies (2005)
Further publications can be found at: http://cryptyc.cs.depaul.edu/papers.html