A cryptographic framework, proven for correctness in SPARK
cryptography
encryption
ada
formal-verification
spark-ada
ada2012
ada-language
cryptographic-framework
spark2014
-
Updated
May 25, 2024 - Ada
A cryptographic framework, proven for correctness in SPARK
Add a description, image, and links to the cryptographic-framework topic page so that developers can more easily learn about it.
To associate your repository with the cryptographic-framework topic, visit your repo's landing page and select "manage topics."