2.0.0
Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications
A collection of cryptographic algorithms, proven for correctness in SPARK.
Currently contains 
- Maintainers
- vinzent@heisenbug.eu
- Licenses
- WTFPL
- Tags
- cryptography, spark
- Project files
- saatana.gpr
- Executables
- test_phelix
- Manifest
- index/sa/saatana/saatana-2.0.0.toml
Build and platform metadata 2 fields
- Notes
"This version is deprecated. An error in the proof annotations has been identified which invalidates the proof of absence of runtime errors."
- Additional origin data
{
"hashes": [
"sha512:1e0eaf5687cf51a76d9491fa45bb3ba91ed996684ce7678e05b01b2e423cc99b7f0e4008f66613596cb9f4fcb46420eb1ce620f61956b46a7006774022e18b16"
]
}