[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

verified TLS implementation in F#/F7

Verified TLS in F#, using the refinement types work from MSR Cambridge;

tech report: http://mitls.rocq.inria.fr/downloads/miTLS-report.pdf

There are a number of caveats regarding performance (e.g. byte arrays are 
represented as functional strings, so performance involves huge amounts of 
copying), but the core work is extremely nice and you can see how to make it 




Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.