#FirefoxQuantum is definitely fast, but did you know that it has the first formally-verified #crypto algorithm in a browser? Thanks to @beurdouche @_franziskus_ @INRIA and Project Everest!https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/ …
-
-
Precisely. Though the WPA2 paper-and-pencil proofs weren't really proofs in the full formal verification sense to begin with. The stuff in Firefox is quite different.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.