4 ms·Automatic Equivalence Checking for Assembly Implementations of Cryptography Lib.3 points by matt_d 8y ago