Saatana

SPARK/Ada Algorithms Targeting Advanced Network Applications

Website
Author:
Maintainer: vinzent@heisenbug.eu
License: WTFPL
Version: 2.0.2
Dependencies: Tags: cryptography spark
Badge:

Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications A collection of cryptographic algorithms, proven for correctness in SPARK.

Currently contains Phelix