Software

CAO domain-specific language for cryptography

Our group maintains a domain-specific software development tool-chain for the implementation and verification of cryptographic software based on the CAO cryptographic language.

More information is available here.