RT @johnregehr: Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries
https://www.cs.rutgers.edu/~santosh.nagarakatte/papers/cgo19-casmverify-preprint.pdf …pic.twitter.com/MrjEI8MTuB
3:05 PM - 3 Jan 2019
from Saint-Mandé, France
0 replies
0 retweets
1 like
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.