3 ms·
OCaml was used recently by the MirageOS folks to implement a better TLS than OpenSSL.
by willtim 9y ago
OCaml was used recently by the MirageOS folks to implement a better TLS than OpenSSL.
- moosingin3space 9y agoTLS != crypto. TLS is actually very well-suited for a higher-level language like Rust or OCaml, especially due to how state machine patterns can be expressed safely in those languages. Crypto, on the other hand, often relies on low-level intrinsics to get good performance and cache timing attack resistance.
- willtim 9y agoTLS depends on crypto and the mirage team implemented it using OCaml. It supports low-level intrinsics for timing attack resistance. See: https://github.com/mirleft/ocaml-nocrypto https://github.com/mirleft/ocaml-nocrypto