The Coq mailing list

[kik <kik314 AT gmail.com>]

Because this bug was discovered in very early stage (I started the project on April 19th and found the bug on April 22nd) and

I was very busy to handle the vulnerability report, the Coq specification is not complete at all.

2014-06-05 22:35 GMT+09:00 Kevin Sullivan <sullivan.kevinj AT gmail.com>:

Is the Coq specification known to be available?

On Thu, Jun 5, 2014 at 7:02 PM, Masaki Hara <ackie.h.gmai AT gmail.com> wrote:

The second link was wrong. The correct link is:
http://ccsinjection.lepidum.co.jp/blog/2014-06-05/CCS-Injection-en/index.html

Masaki Hara

On Thu, Jun 5, 2014 at 10:24 PM, Nuno Gaspar <nmpgaspar AT gmail.com> wrote:
> 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.