package tls-mirage

  1. Overview
  2. Docs
Transport Layer Security purely in OCaml, MirageOS layer

Install

Dune Dependency

github.com Readme Changelog BSD-2-Clause License Edit opam file Versions (26)

Authors

  1. D
    David Kaloper <david@numm.org>
  2. H
    Hannes Mehnert <hannes@mehnert.org>

Maintainers

  1. H
    Hannes Mehnert <hannes@mehnert.org>
  2. D
    David Kaloper <david@numm.org>

Sources

tls-v0.12.6.tbz
sha256=89f56f08fded86663fbd45e6c520b2da97ff30f2a1f0cc51c5c52c6813126291
sha512=4d534d15636d8b2c6e4a36a63a90dde89592a749e2972657277bd5e3184356d42e2c6a185c72efa1c1faa4bd89667dc81130288ab2f83828fe60c023933f5e51

Description

Tls-mirage provides an effectful FLOW module to be used in the MirageOS ecosystem.

Tags

org:mirage

Published: 06 Nov 2020

README

TLS - Transport Layer Security purely in OCaml

v0.12.6

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.

Dependencies (14)

  1. fiat-p256 >= "0.2.1"
  2. hacl_x25519 >= "0.1.1"
  3. mirage-crypto-pk
  4. mirage-crypto
  5. ptime >= "0.8.1"
  6. mirage-clock >= "3.0.0"
  7. mirage-kv >= "3.0.0"
  8. mirage-flow >= "2.0.0" & < "4.0.0"
  9. lwt >= "3.0.0"
  10. fmt
  11. x509 >= "0.10.0" & < "0.12.0"
  12. tls = version
  13. dune >= "1.0"
  14. ocaml >= "4.08.0"

Dev Dependencies

None

Used by (9)

  1. capnp-rpc-mirage >= "0.6.0"
  2. capnp-rpc-net >= "0.6.0"
  3. caqti-mirage >= "2.1.1"
  4. conduit-mirage >= "2.1.0" & != "3.0.0" & < "6.2.2"
  5. dns-resolver >= "6.0.0"
  6. git-mirage >= "3.7.0"
  7. git-paf >= "3.5.0"
  8. paf < "0.0.3"
  9. paf-le

Conflicts

None