libsparkcrypto

A cryptographic library in SPARK 2014

Archived

GitHub

27 stars
9 watching
3 forks
Language: Ada
last commit: over 5 years ago
Linked from 1 awesome list

crypto-libraryformal-verification

Backlinks from these awesome lists: