15,000 lines of verified cryptography now in Python(jonathan.protzenko.fr)
447 points by todsacerdoti | 142 comments
Blog post by Jonathan Protzenko describing how CPython now uses the formally verified HACL* library for all its default hash and HMAC algorithms.