tls-mirage

Transport Layer Security purely in OCaml, MirageOS layer
README

v0.12.8

Transport Layer Security (TLS) is probably the most widely deployed security
protocol on the Internet. It provides communication privacy to prevent
eavesdropping, tampering, and message forgery. Furthermore, it optionally
provides authentication of the involved endpoints. TLS is commonly deployed for
securing web services (HTTPS), emails,
virtual private networks, and wireless networks.

TLS uses asymmetric cryptography to exchange a symmetric key, and optionally
authenticate (using X.509) either or both endpoints. It provides algorithmic
agility, which means that the key exchange method, symmetric encryption
algorithm, and hash algorithm are negotiated.

Read further and our Usenix Security 2015 paper.

Documentation

API documentation

Installation

opam install tls will install this library.

Install
Published
08 Dec 2020
Sources
tls-v0.12.8.tbz
sha256=ca889a1593780b896be5139037865e7de21e620088b2c0e9d3d65565ddbef769
sha512=da21f3d1fc5e02feac774be8a1568e9acb2218d0ffdbd8551a845210969d16ce537a46badb03fb424dc0d3f31593bd0cc3f0d16b80a7e02c7ad287f8dd1ea977
Dependencies
fiat-p256
>= "0.2.1"
hacl_x25519
>= "0.1.1"
ptime
>= "0.8.1"
mirage-clock
>= "3.0.0"
mirage-kv
>= "3.0.0"
mirage-flow
>= "2.0.0"
lwt
>= "3.0.0"
x509
>= "0.10.0" & < "0.12.0"
tls
= version
dune
>= "1.0"
ocaml
>= "4.08.0"
Reverse Dependencies
capnp-rpc-net
>= "0.6.0"
conduit-mirage
>= "2.1.0" & != "3.0.0"
dns-resolver
>= "6.0.0"
git-mirage
>= "3.7.0"
git-paf
>= "3.5.0"
git-unix
= "3.4.0"
paf
< "0.0.3"