Saatana
SPARK/Ada Algorithms Targeting Advanced Network Applications
WebsiteAuthor:
Maintainer: vinzent@heisenbug.eu
License: WTFPL
Version: 2.0.2
Dependencies:
- gnat ^2020
Badge:
Saatana - SPARK/Ada Algorithms Targeting Advanced Network Applications A collection of cryptographic algorithms, proven for correctness in SPARK.
Currently contains