SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video]

PDF links to this GitHub https://github.com/rod-chapman/SPARKNaCl