4 ms·
There's a new project to implement TLS in python [1] with the idea to have secure and verifiable code, but so far (to my knowledge) there's no formal tool invol
by ecesena 10y ago
There's a new project to implement TLS in python [1] with the idea to have secure and verifiable code, but so far (to my knowledge) there's no formal tool involved in the verifiability aspect -- the approach is mostly around keeping the implementation as RFC-compliant as possible.
I'd be really interested in applying any of these techniques to a full TLS implementation.
[1] https://github.com/pyca/tls https://github.com/pyca/tls
- mafribe 10y agoI 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...