6 ms·
There's also miTLS http://www.mitls.org/wsgi/home http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#
by tenzing 12y ago
There's also miTLS http://www.mitls.org/wsgi/home http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#