Wrote about our experience using SAW/Cryptol to formally verify NSS' new GHASH implementations https://timtaubert.de/blog/2017/06/verified-binary-multiplication-for-ghash/ …
-
-
Very likely slower. We have a pure asm version still only for 64-bit Linux and Windows.
-
We use intrinsics for everything in between. Or software if we have to, determined at runtime.
-
So by slower I was referring to the new sw/intrinsics code. The old asm for Linux/Windows should be competetive.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.