libsparkcrypto

A cryptographic library in SPARK 2014

Archived

GitHub
27 stars
9 watching
3 forks
Language: Ada
last commit: almost 4 years ago
Linked from 1 awesome list

crypto-libraryformal-verification

Backlinks from these awesome lists: