Verifying Arithmetic Assembly Programs in Cryptographic Primitives (Invited Talk).

Andy Polyakov, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Browse the full CONCUR paper archive.