A archive.fosdem.org SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video] 6 points Tomte 1 year ago 1 comments