@BRIAN_____ It thus seems wrong that program verification tools tend to take high-level (e.g. C) code as input instead of compiled binaries.
@h4nnes Historically that's not been the case. Examples: modexp & AES-GCM bugs in OpenSSL, bad SHA-512 in NSS, e=3 RSA PKCS#1 bug in NSS.
-
-
@BRIAN_____ true, but hopefully these issues contributed towards a better/bigger test suite!?!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.