Saatana

Website:

https://github.heisenbug.eu/Saatana

Author:

Maintainers:

License:

WTFPL

Version:

2.0.2

Alire CI:

Dependencies:

Dependents:

No dependents.

Badge:

Copy image location: https://img.shields.io/endpoint?url=https://alire.ada.dev/badges/saatana.json

#cryptography #spark

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

Currently contains