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

Anything in here will be replaced on browsers that support the canvas element