4 ms·
F# has a proven implementation, but I doubt that's what you're after. OCaml is also getting one for Mirage, but I don't know its status, and it won't be proven
by gecko 12y ago
F# has a proven implementation, but I doubt that's what you're after. OCaml is also getting one for Mirage, but I don't know its status, and it won't be proven correct.
- gsnedders 12y agomiTLS considers timing attacks as out of scope for the proof, so it's unclear if it's actually secure.