yggdrasil

Executable specifications of composable cryptographic protocols.

Yggdrasil is a framework for writing executable specification of composable cryptographic protocols. It is modelled after Ran Canetti's Universal Composability framework, although it departs from it in multiple places to simplify the interface, and provide strong typing.