Verified TLS implementation

[wizzard0]

miTLS is a verified reference implementation of the TLS protocol. 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

Comments

[fi_mihej]

>> да, я в код не то чтобы очень внимательно смотрел, но изучить в любом случае стоит.

Блин, а я уж думал, что это то, что ты делал

[wizzard0]

Я делаю другое :)