Cryptyc

Cryptographic Protocol Type Checker(Cryptyc)

I am currently developing an type checker which will statically check for security violations such as secrecy or authenticity errors. The project is being done under the valuable guidance of Dr. Alan Jeffrey. More details of the project can be found at http://cryptyc.cs.depaul.edu The code can be viewed here (Currently only the cryptyc/parser files are modified by me and the rest code is part of the original code that can be found on the website). The current parser from MetaMata parse was converted to JavaCC and am currently working on developing the Abstract Syntax Tree(AST) for the type checker. After that the next step would be to write the static and dynamic semantics of the language.