(mirror repo) miTLS is a verified reference implementation of the TLS protocol.