SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video]archive.fosdem.org6 pointsTomtea year ago