CAO domain-specific language for cryptography
Repository URL:
http://hackage.haskell.org/package/cao-0.1 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.
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.