A verified reference TLS implementation #1 Post by neur0mancer » Wed, Mar 05, 2014, 10:17 PM UTC A verified reference TLS implementationmitls.org