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

Microsoft, French bods push for mathematically provable bug-free code

Microsoft and French research organization Inria have jointly published the source code for a more secure implementation of TLS - hopefully increasing the security of millions online in the process."