High-Assurance Crypto Software (DJB and Tanja Lange) [video]media.ccc.de2 pointsDyslexicAtheist6 years ago