Cryptographic implementation verifier written in Ada - formal verification with Design by Contract
-
Updated
Feb 27, 2026 - Ada
#
nullsec
Here are 2 public repositories matching this topic...
Formally verified cryptographic wrapper in Ada/SPARK
security cryptography encryption spark aes sha256 ada formal-verification formally-verified security-hardened nullsec
-
Updated
Feb 27, 2026 - Ada
Improve this page
Add a description, image, and links to the nullsec topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the nullsec topic, visit your repo's landing page and select "manage topics."