@BRIAN_____ what do you want to verify? Luckily functional correctness of crypto can be achieved by test vectors...
-
-
-
@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!?!
End of conversation
New conversation -
-
-
@BRIAN_____ HahahahahahahahahahahahahahhahahahahahahahahahahahaHAHAhahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahaHaa -
@BRIAN_____ To be serious one minute, program verifications tools do not care about ring. The only fields that have shown any interest are… -
@spun_off I think lots of people are interested in verifying the correctness of ring's asm code, because it is also OpenSSL's.
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.