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.
Modules
[Index] [Quick Jump]
Downloads
- yggdrasil-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0 |
|---|---|
| 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 |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 772 total (5 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] |