mitls.org: 2 stories from 2 submitters

  1. 2
    Security Losses from Obsolete and Truncated Transcript Hashes security mitls.org
    pushcx avatar via pushcx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 13
    miTLS: a verified reference implementation of the TLS protocol, written in F# and specified in F7 security mitls.org
    owl avatar via owl 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments