miTLS: a verified reference implementation of the TLS protocol, written in F# and specified in F7 | Lobsters

13

miTLS: a verified reference implementation of the TLS protocol, written in F# and specified in F7 security mitls.org
via owl 9 years ago | archive
Archive.org Archive.today Ghostarchive
| 2 comments

2

1. 2
  
  bobpoekert 9 years ago | link
  
  Someone needs to port this to OCaml, like, right away.
2. 1
  
  jm 9 years ago | link
  
  FYI: There is a dotnet tag.