News for hackers. Stuff that matters.

A comment on BearSSL – Smaller SSL/TLS. Parent comment

Re:BearSSL – Smaller SSL/TLS by pjmlp on Thursday November 03, 2016 @11:28AM (#12864759)
The is approach taken by the F* folks on their TLS library.
[ Parent | on HN ]

There are no comments on this comment yet.