A cryptographic framework, proven for correctness in SPARK
cryptography
encryption
ada
formal-verification
spark-ada
ada2012
ada-language
cryptographic-framework
spark2014
-
Updated
Jun 4, 2024 - Ada