Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries.

Jay P. Lim, Santosh Nagarakatte

Browse the full CGO paper archive.