@BRIAN_____ It thus seems wrong that program verification tools tend to take high-level (e.g. C) code as input instead of compiled binaries.
-
-
Replying to @BRIAN_____
@BRIAN_____ HahahahahahahahahahahahahahhahahahahahahahahahahahaHAHAhahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahahaHaa1 reply 0 retweets 0 likes -
Replying to @volatile_void
@BRIAN_____ To be serious one minute, program verifications tools do not care about ring. The only fields that have shown any interest are…2 replies 0 retweets 0 likes
Replying to @volatile_void
@spun_off I think lots of people are interested in verifying the correctness of ring's asm code, because it is also OpenSSL's.
2:32 AM - 11 Oct 2015
0 replies
0 retweets
0 likes
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.