Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq


Chronological Thread 
  • 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.



Archive powered by MHonArc 2.6.18.

Top of Page