corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0b689-082b-7140-83be-babe26ddb685

OCaml-TLS: the protocol implementation and mitigations to known attacks

mirageos.org · published 14 July 2014

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 mirageos.org Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
83
Words captured
5,903

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/mirleft/ocaml-tls
github.com
http://caml.inria.fr/pub/docs/manual-ocaml/libref/Unix.html
caml.inria.fr
http://ocsigen.org/lwt/
ocsigen.org
https://realworldocaml.org/v1/en/html/concurrent-programming-with-async.html
realworldocaml.org
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/engine.mli
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/engine.ml
github.com
https://realworldocaml.org/v1/en/html/variants.html
realworldocaml.org
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/control.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/state.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/handshake_client.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/handshake_server.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/reader.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lib/config.mli
github.com
https://github.com/mirleft/ocaml-x509
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/mirage/tls_mirage_types.mli
github.com
https://github.com/mirage/mirage/blob/ae3c966f8d726dc97208595b8005e02e39478cb1/types/V1.mli
github.com
https://github.com/mirleft/ocaml-tls/blob/6dc9258a38489665abf2bd6cdbed8a1ba544d522/lwt/tls_lwt.mli
github.com
https://en.wikipedia.org/wiki/Heartbleed
en.wikipedia.org
http://eprint.iacr.org/2005/067
eprint.iacr.org
http://www.theregister.co.uk/2013/08/01/gmail_hotmail_hijacking/
theregister.co.uk
http://breachattack.com/
breachattack.com
http://eprint.iacr.org/2013/049.pdf
eprint.iacr.org
http://www.mitls.org/wsgi/tls-attacks
mitls.org
https://tools.ietf.org/html/rfc5246
tools.ietf.org
https://github.com/mirleft/ocaml-tls/issues/31
github.com
http://www.educatedguesswork.org/2009/11/understanding_the_tls_renegoti.html
educatedguesswork.org
https://github.com/mirleft/ocaml-tls/issues?labels=security+concern&page=1&state=closed
github.com
https://github.com/mirleft/ocaml-tls/issues?labels=security+concern&page=1&state=open
github.com
https://github.com/mirleft/ocaml-tls/issues/8
github.com
https://github.com/mirleft/ocaml-tls/issues/10
github.com
http://www.cs.tau.ac.il/~tromer/papers/cache.pdf
cs.tau.ac.il
http://cr.yp.to/antiforgery/cachetiming-20050414.pdf
cr.yp.to
https://en.wikipedia.org/wiki/Blinding_(cryptography
en.wikipedia.org
http://eprint.iacr.org/2013/448.pdf
eprint.iacr.org
http://www.cs.unc.edu/~reiter/papers/2012/CCS.pdf
cs.unc.edu
http://fc12.ifca.ai/pre-proceedings/paper_70.pdf
fc12.ifca.ai
http://archiv.infsec.ethz.ch/education/fs08/secsem/Bleichenbacher98.pdf
archiv.infsec.ethz.ch
https://github.com/mirleft/ocaml-tls/blob/c06cbaaffe49024d8570916b70f7839603a54692/lib/handshake_server.ml
github.com
http://www.iacr.org/archive/eurocrypt2002/23320530/cbc02_e02d.pdf
iacr.org
http://lasecwww.epfl.ch/memo/memo_ssl.shtml
lasecwww.epfl.ch
https://www.openssl.org/~bodo/tls-cbc.txt
openssl.org
https://github.com/mirleft/ocaml-tls/blob/c06cbaaffe49024d8570916b70f7839603a54692/lib/engine.ml
github.com
http://www.isg.rhul.ac.uk/tls/Lucky13.html
isg.rhul.ac.uk
https://github.com/mirleft/ocaml-tls/issues/7
github.com
https://github.com/mirleft/ocaml-tls/pull/49
github.com
https://tools.ietf.org/html/rfc5746
tools.ietf.org
https://github.com/mirleft/ocaml-tls/blob/c06cbaaffe49024d8570916b70f7839603a54692/lib/handshake_client.ml
github.com
https://github.com/mirleft/ocaml-tls/blob/c06cbaaffe49024d8570916b70f7839603a54692/lib/state.ml
github.com
https://github.com/mirleft/ocaml-tls/issues/3
github.com
http://vnhacker.blogspot.co.uk/2011/09/beast.html
vnhacker.blogspot.co.uk
https://bugzilla.mozilla.org/show_bug.cgi?id=665814
bugzilla.mozilla.org
https://github.com/mirleft/ocaml-tls/issues/2
github.com
https://community.qualys.com/blogs/securitylabs/2013/09/10/is-beast-still-a-threat
community.qualys.com
http://eprint.iacr.org/2006/136
eprint.iacr.org
http://arstechnica.com/security/2012/09/crime-hijacks-https-sessions/
arstechnica.com
http://tools.ietf.org/html/draft-pironti-tls-length-hiding-02
tools.ietf.org
https://github.com/mirleft/ocaml-tls/issues/162
github.com
https://github.com/mirleft/ocaml-tls/issues/5
github.com
http://www.mitls.org
mitls.org
https://secure-resumption.com/
secure-resumption.com
https://github.com/mirleft/ocaml-tls/issues/9
github.com
http://www.mitls.org/wsgi/alert-attack
mitls.org
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2014-1266
cve.mitre.org
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2014-3466
cve.mitre.org
http://armoredbarista.blogspot.de/2014/04/easter-hack-even-more-critical-bugs-in.html
armoredbarista.blogspot.de
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2014-0224
cve.mitre.org
https://polarssl.org/tech-updates/security-advisories/polarssl-security-advisory-2014-02
polarssl.org
http://anil.recoil.org/
anil.recoil.org
https://github.com/edwintorok
github.com
http://erratique.ch/
erratique.ch
http://blog.andreas.org/
blog.andreas.org
http://gregorkopf.de/blog/
gregorkopf.de
https://twitter.com/graham_steel
twitter.com
https://github.com/vouillon
github.com
http://amirchaudhry.com/
amirchaudhry.com
http://ashishagarwal.org
ashishagarwal.org
http://www.cl.cam.ac.uk/projects/ocamllabs/
cl.cam.ac.uk
http://www.cl.cam.ac.uk/~pes20/
cl.cam.ac.uk
http://www.cs.nott.ac.uk/~rmm/
cs.nott.ac.uk
http://rems.io
rems.io
http://usercentricnetworking.eu/
usercentricnetworking.eu
http://www.horizon.ac.uk
horizon.ac.uk
http://www.aftasmirleft.com/
aftasmirleft.com