coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Nuno Gaspar <nmpgaspar AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq
- Date: Thu, 5 Jun 2014 15:24:26 +0200
Cool :-)
Please note that your second link is not really working..
2014-06-05 15:14 GMT+02:00 Masaki Hara <ackie.h.gmai AT gmail.com>:
Today, a new OpenSSL vulnerability, called CCS-Injection, and its fix
were published.
This bug was found by KIKUCHI Masashi during his research of proving
OpenSSL's safety in Coq.
For details, see:
http://ccsinjection.lepidum.co.jp/
and a blog post:
http://ccsinjection.lepidum.co.jp/blog/2014-06-05/CCS-Injection-en/
Masaki Hara
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.
- [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Masaki Hara, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Nuno Gaspar, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Masaki Hara, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Kevin Sullivan, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, kik, 06/07/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Perry E. Metzger, 06/08/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, kik, 06/07/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Kevin Sullivan, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Masaki Hara, 06/05/2014
- Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq, Nuno Gaspar, 06/05/2014
Archive powered by MHonArc 2.6.18.