1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

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

Discussion in 'The Register' started by RSS, Nov 25, 2015.

  1. RSS

    RSS New Member Member

    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.…

    Continue reading...

Share This Page