[cryptography] mTLS: miTLS is a verified reference implementation of the TLS protocol

yersinia yersinia.spiros at gmail.com
Mon Mar 25 10:51:54 EDT 2013

"miTLS is a verified reference implementation of the TLS
Our code fully supports its wire formats, ciphersuites, sessions and
connections, re-handshakes and resumptions, alerts and errors, and data
fragmentation, as prescribed in the RFCs; it interoperates with mainstream
web browsers and servers. At the same time, our code is carefully
structured to enable its modular, automated verification, from its main API
down to computational assumptions on its cryptographic algorithms."



Look interesting, so i post here

Best Regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.randombit.net/pipermail/cryptography/attachments/20130325/df18b94a/attachment.html>

More information about the cryptography mailing list