Finding security bugs on the road to creating a verifiably secure TLS lib

Posted by bob on Nov 25, 2015 10:16 PM EDT
The Register; By John Leyden
Mail this story
Print this story

Microsoft, French bods push for mathematically provable bug-free code Microsoft and French research organization INRIA have recently jointly published the source code for a more secure implementation of TLS – hopefully increasing the security of millions online in the process.…

Full Story

  Nav
» Read more about: Story Type: News Story, Security; Groups: Community, Microsoft

« Return to the newswire homepage

This topic does not have any threads posted yet!

You cannot post until you login.