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 Mon Sep 10 20:05:37 UTC 2018
Distributions NixOS:
Downloads 170 total (16 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
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