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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log ChangeLog.md
Dependencies base (>=4.11 && <4.12), cryptonite (>=0.25 && <0.26), memory (>=0.14 && <0.15), mtl (>=2.2 && <2.3), transformers (>=0.5 && <0.6) [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
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 742 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-09-10 [all 1 reports]