yggdrasil: Executable specifications of composable cryptographic protocols.

[ agpl, cryptography, library ] [ Propose Tags ]

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.

Versions [faq]
Change log ChangeLog.md
Dependencies base (==4.11.*), cryptonite (==0.25.*), memory (==0.14.*), mtl (==2.2.*), transformers (==0.5.*) [details]
License AGPL-3.0-only
Author Thomas Kerber
Maintainer tk@drwx.org
Category Cryptography
Home page https://git.drwx.org/phd/yggdrasil
Source repo head: git clone https://git.drwx.org/phd/yggdrasil
Uploaded by semihonest at 2018-09-10T20:05:37Z
Distributions NixOS:
Downloads 530 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-09-10 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees