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



This is one of the most rewarding kinds of moments for a proof assistant.  :-)

Andrei   


On Thursday, June 5, 2014 3:17 PM, Masaki Hara <ackie.h.gmai at gmail.com> wrote:
 

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


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.