package tls-mirage
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=a7586790a7d0b44b8b0844347c140f1b641728f3e47f4c566894e5e32b46c33b
sha512=37c4c97cafad6b51f1b8cbfc9b437680a643ea71c340b86a1930e89282d893f266886ffbedb8e239a66754328bc2575e96ffb4dae46ae9df018494f12a94f228
Description
Tls-mirage provides an effectful FLOW module to be used in the MirageOS ecosystem.
README
TLS - Transport Layer Security purely in OCaml
v0.12.0
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
Installation
opam install tls will install this library.
Dependencies (14)
-
fiat-p256
>= "0.2.1" -
hacl_x25519
>= "0.1.1" - mirage-crypto-pk
- mirage-crypto
-
ptime
>= "0.8.1" -
mirage-clock
>= "3.0.0" -
mirage-kv
>= "3.0.0" -
mirage-flow
>= "2.0.0" & < "4.0.0" -
lwt
>= "3.0.0" - fmt
-
x509
>= "0.10.0" -
tls
= version -
dune
>= "1.0" -
ocaml
>= "4.07.0"
Dev Dependencies
None
Used by (9)
-
capnp-rpc-mirage
>= "0.6.0" -
capnp-rpc-net
>= "0.6.0" -
caqti-mirage
>= "2.1.1" -
conduit-mirage
>= "2.1.0" & != "3.0.0" & < "6.2.2" -
dns-resolver
>= "6.0.0" -
git-mirage
>= "3.7.0" -
git-paf
>= "3.5.0" -
paf
< "0.0.3" - paf-le
Conflicts
None