2.0.2
Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.
Currently contains 
- Authors
- Vinzent Saranen
- Maintainers
- amosteo@unizar.es, vinzent@heisenbug.eu
- Licenses
- WTFPL
- Tags
- cryptography, spark
- Project files
- saatana.gpr
- Executables
- test_phelix
- Manifest
- index/sa/saatana/saatana-2.0.2.toml
Build and platform metadata 1 field
- Additional origin data
{
"hashes": [
"sha512:edf1f2f600901d91a7e9993db30f705106ff735124487e77b21881d2022bad7a858276735504fa4788bb12f4cd051426021ac998d1b8399769f191ec1ea90a41"
]
}