coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Masaki Hara <ackie.h.gmai AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] A new OpenSSL bug was found, thanks to Coq
- Date: Thu, 5 Jun 2014 22:14:13 +0900
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
- [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.