Cognicrypt supports both code generation to help developers generate example uses of cryptographic tasks, and a code checker that warns developers of improper cryptographic api use. CognICrypt separates the role of api designer and software developer using a specification DSL called Crysl. We are actively expanding CogniCrypt to other languages and development environments. If you are interested in being part of the development or research of CogniCrypt, we have job offers both full time and as student helpers. Please contact Krishna Narasimhan.