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:
Alire CI:

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