3 ms·
Inevitably some crypto primatives must be written in assembly languages in order to ensure timing attacks and alike are not possible. As far as I know, there's
by gnode 7y ago
Inevitably some crypto primatives must be written in assembly languages in order to ensure timing attacks and alike are not possible. As far as I know, there's no support in Rust or C for requiring such constraints from the code generation.
Still, ensuring the code around the primitives is safe in various ways is still valuable.
- PyroLagus 7y agoYou could write those in Vale[0], but at that point, just use miTLS[1] to have a completely verified TLS implementation. [0] https://github.com/project-everest/vale https://github.com/project-everest/vale [1] https://mitls.org/ https://mitls.org/