package tls

  1. Overview
  2. Docs
Transport Layer Security purely in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

tls-v0.12.5.tbz
sha256=0b050439244ddc2aff5ad36c8bb4163d6abcd4bfca84c213a3a90d8aba1b50ff
sha512=9c6290843b63090b655a1562d69582f58c31acd5d6512e18f1e24b2cd8e00e3b334d99be6279f209919c20231fd8422dcc271d4439d955aead44fc0d1ff29d08

Description

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 our Usenix Security 2015 paper.

Tags

org:mirage

Published: 23 Sep 2020

README

TLS - Transport Layer Security purely in OCaml

v0.12.5

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 (19)

  1. logs
  2. hkdf < "2.0.0"
  3. fiat-p256
  4. hacl_x25519
  5. ptime >= "0.8.1"
  6. lwt >= "3.0.0"
  7. fmt
  8. domain-name >= "0.3.0"
  9. x509 >= "0.11.0" & < "0.12.0"
  10. mirage-crypto-rng >= "0.8.0" & < "0.11.0"
  11. mirage-crypto-pk < "1.0.0"
  12. mirage-crypto >= "0.8.1" & < "1.0.0"
  13. sexplib
  14. cstruct-sexp
  15. cstruct >= "4.0.0"
  16. ppx_cstruct >= "3.0.0"
  17. ppx_sexp_conv >= "v0.9.0"
  18. dune >= "1.0"
  19. ocaml >= "4.08.0" & < "4.12.0"

Dev Dependencies (3)

  1. alcotest with-test
  2. ounit with-test & >= "2.2.0"
  3. cstruct-unix with-test & >= "3.0.0"

Used by (48)

  1. albatross < "1.1.1"
  2. aws-s3-lwt < "3.0.0"
  3. azure-cosmos-db >= "0.1.5" & < "0.2.0"
  4. calculon < "0.5"
  5. capnp-rpc-lwt >= "0.3.1" & < "0.5.0"
  6. capnp-rpc-net < "1.1"
  7. caqti >= "2.1.1"
  8. caqti-mirage >= "2.1.1"
  9. caqti-tls < "2.1.2"
  10. colombe < "0.2.0"
  11. comby < "1.7.0"
  12. conduit-mirage >= "2.1.0" & != "3.0.0" & < "7.0.0"
  13. conduit-tls
  14. current_github < "0.6.4"
  15. current_slack < "0.6.4"
  16. datakit-ci >= "0.12.1"
  17. dkim-bin >= "0.6.0"
  18. dns-certify < "5.0.0"
  19. dns-resolver >= "6.0.0" & < "9.0.0"
  20. doi2bib
  21. dropbox >= "0.2"
  22. git >= "2.0.0" & < "3.0.0"
  23. git-mirage >= "2.0.0" & < "3.0.0" | >= "3.6.0" & < "3.17.0"
  24. git-unix = "2.0.0" | >= "2.1.1" & < "3.0.0"
  25. github >= "2.0.0" & < "3.0.0"
  26. github-unix < "3.1.0"
  27. gitlab-unix
  28. imaplet-lwt >= "0.1.8" & < "0.1.10" | >= "0.1.14"
  29. irc-client-tls < "0.7.1"
  30. letters < "0.3.3"
  31. links >= "0.9.6"
  32. mehari-mirage < "0.2"
  33. mirror
  34. octez-node < "16.0"
  35. opam-publish >= "0.3.5" & < "2.1.0"
  36. paf-cohttp = "0.0.5"
  37. quests
  38. sendmail >= "0.2.0" & < "0.4.1"
  39. sendmail-lwt < "0.4.1"
  40. sihl < "0.2.0" | >= "0.3.0~rc2"
  41. sihl-core
  42. slacko >= "0.13.0"
  43. syndic >= "1.5" & < "1.6.0"
  44. tezos-node != "9.0"
  45. tls-liquidsoap
  46. tls-mirage = "0.12.5"
  47. tlstunnel >= "0.1.3"
  48. wcs-api = "2017-05-26.02"

Conflicts

None

OCaml

Innovation. Community. Security.