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

Tags

org:mirage

Published: 12 Jun 2020

Dependencies (22)

  1. alcotest with-test
  2. logs
  3. hkdf
  4. fiat-p256
  5. hacl_x25519
  6. ptime >= "0.8.1"
  7. lwt >= "3.0.0"
  8. ounit with-test & >= "2.2.0"
  9. cstruct-unix with-test & >= "3.0.0"
  10. fmt
  11. domain-name >= "0.3.0"
  12. x509 >= "0.11.0" & < "0.12.0"
  13. mirage-crypto-rng < "0.11.0"
  14. mirage-crypto-pk
  15. mirage-crypto < "0.8.1"
  16. sexplib
  17. cstruct-sexp
  18. cstruct >= "4.0.0" & < "6.0.0"
  19. ppx_cstruct >= "3.0.0"
  20. ppx_sexp_conv >= "v0.9.0"
  21. dune >= "1.0"
  22. ocaml >= "4.07.0" & < "4.12.0"

Reverse Dependencies (42)

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

Conflicts

    None
Transport Layer Security purely in OCaml

Install

Authors

Maintainers

Sources

tls-v0.12.1.tbz
sha256=af739692a9ab95e76da9f63039d9bd85e8f42af5cf30e1eb2a348e68a1fc5026
sha512=78d0a7b99f75558f31b0c51314e7340d3c5c9dea91bfd1e4fe10d52878f72370321dd31c5f9735d4fbb788ccd987a61ba4c93e175dee9ca28d5c7b4218eab234