Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk). - Andy Polyakov; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang (CONCUR, 2018)