Sparknacl

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

Website
Author: Rod Chapman
Maintainer: Rod Chapman <rod@proteancode.com>
License: BSD-2-Clause
Version: 2.0.0
Dependencies: Tags: spark cryptography security nacl curve25519 ed25519 tweetnacl
Badge:

SPARK 2014 re-implementation of TweetNaCl cryptographic library, with fully automated proofs of type safety and some correctness properties