coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Cc: kik314 AT gmail.com
Subject: Re: [Coq-Club] A new OpenSSL bug was found, thanks to Coq
Date: Sun, 8 Jun 2014 17:38:24 -0400

On Sat, 7 Jun 2014 13:47:17 +0900 kik
<kik314 AT gmail.com>
wrote:
> 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.

Would you be able to expand a bit on how you found the fault? I did
not follow the explanation in your blog post (beyond the fact that
you used Coq).

Perry
--
Perry E. Metzger
perry AT piermont.com

[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