corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · corpus.blog/posts/01a08781-33b5-707e-8a27-186503dc5e4d

Cryptography updates in OCaml and MirageOS

hannes.robur.coop · published 23 April 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at hannes.robur.coop Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
60
Words captured
1,791

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/mit-plv/fiat-crypto/
github.com
TLS 1.3 support for MirageOS Read at the source ↗
mirageos.org
https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak
usenix.org
https://github.com/mirage/mirage-crypto
github.com
https://github.com/mirleft/ocaml-nocrypto
github.com
https://en.wikipedia.org/wiki/Elliptic-curve_Diffie%E2%80%93Hellman
en.wikipedia.org
https://en.wikipedia.org/wiki/Elliptic_Curve_Digital_Signature_Algorithm
en.wikipedia.org
https://eprint.iacr.org/2020/615
eprint.iacr.org
https://raccoon-attack.com/
raccoon-attack.com
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2018-5407
cve.mitre.org
https://github.com/mimoo/timing_attack_ecdsa_tls
github.com
https://minerva.crocs.fi.muni.cz/
minerva.crocs.fi.muni.cz
https://blog.trailofbits.com/2020/06/11/ecdsa-handle-with-care/
blog.trailofbits.com
https://github.com/mirage/ocaml-freestanding/tree/v0.6.4/nolibc
github.com
https://github.com/project-everest/hacl-star/
github.com
https://coq.inria.fr
coq.inria.fr
https://www.fstar-lang.org/
fstar-lang.org
https://github.com/pascutto/
github.com
https://github.com/NathanReb/
github.com
https://github.com/emillon/
github.com
https://github.com/mirage/fiat
github.com
https://github.com/mirage/hacl
github.com
https://www.nitrokey.com/products/nethsm
nitrokey.com
https://github.com/mirage/ocaml-dns/pull/251
github.com
WireGuard
wireguard.com
https://hacl-star.github.io/Supported.html
hacl-star.github.io
https://github.com/mirage/hacl/issues/46
github.com
https://github.com/mirage/hacl/tree/master/src/kremlin
github.com
https://github.com/mirage/mirage-crypto/tree/main/ec/native
github.com
https://github.com/mit-plv/fiat-crypto/pull/906
github.com
https://github.com/mit-plv/fiat-crypto/commit/e31a36d5f1b20134e67ccc5339d88f0ff3cb0f86
github.com
https://github.com/mit-plv/fiat-crypto/pull/670
github.com
https://eprint.iacr.org/2021/549
eprint.iacr.org
https://github.com/google/wycheproof/
github.com
https://github.com/mirage/mirage-crypto/pull/107
github.com
https://mirage.github.io/mirage-crypto/doc/mirage-crypto-ec/Mirage_crypto_ec/index.html
mirage.github.io
https://github.com/mirage/mirage-crypto/blob/main/ec/native/point_operations.h
github.com
https://github.com/mirage/mirage-crypto/blob/main/ec/mirage_crypto_ec.ml
github.com
https://tools.ietf.org/html/rfc6979
tools.ietf.org
https://github.com/mirage/mirage-crypto/pull/101
github.com
https://github.com/mirage/mirage-crypto/pull/106
github.com
https://github.com/mirage/mirage-crypto/pull/108
github.com
https://github.com/greg42
github.com
https://github.com/mirage/mirage-crypto/pull/117
github.com
https://github.com/mirage/mirage-crypto/pull/118
github.com
https://github.com/mirage/mirage-crypto/issues/109
github.com
https://github.com/mirage/mirage-crypto/issues/112
github.com
https://github.com/mirage/mirage-crypto/issues/105
github.com
https://github.com/mirage/mirage-crypto/issues
github.com
https://github.com/mirleft/ocaml-x509/issues/69
github.com
https://github.com/reynir
github.com
https://github.com/paurkedal
github.com
https://github.com/NightBlues
github.com
https://github.com/mirleft/ocaml-x509/pull/140
github.com
https://tools.ietf.org/html/rfc7292
tools.ietf.org
https://github.com/mirleft/ocaml-x509/pull/114
github.com
https://unmitigatedrisk.com/?p=654
unmitigatedrisk.com
https://github.com/dinosaure
github.com
https://twitter.com/h4nnes
twitter.com
https://mastodon.social/@hannesm
mastodon.social