I recommend to look at Cedric Fournet's group [1]. They have (or are close to having) a performant networking stack that's fully verified, e.g. [2]. [1] http:/

I recommend to look at Cedric Fournet's group [1]. They have (or are close to having) a performant networking stack that's fully verified, e.g. [2]. [1] http://research.microsoft.com/en-us/um/people/fournet http://research.microsoft.com/en-us/um/people/fournet [2] K. Bhargavan et al, Implementing TLS with Verified Cryptographic Security. http://research.microsoft.com/en-us/um/people/fournet/papers/implementing-tls-with-verified-cryptographic-security-sp13.pdf http://research.microsoft.com/en-us/um/people/fournet/papers...