An interesting SSL implementation bug: CVE-2013-5914http://blog.frama-c.com/index.php?post/2014/02/23/CVE-2013-5914 by pascal_cuoq • 12 years ago 1 0 12 years agoBLblog.frama-c.com