Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries | IEEE Conference Publication | IEEE Xplore