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