@hackage / yggdrasil

Executable specifications of composable cryptographic protocols.

Latest0.1.0.0

About

Metadata

  • Last updated , by semihonest
  • License AGPL-3.0-only
  • Categories Cryptography

  • Maintained by: tk@drwx.org

  • Lottery factor: 0

Links

Installation

Readme

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.