Certified Verification of Algebraic Properties on Low-Level Mathematical Constructs in Cryptographic Programs.

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

Browse the full CCS paper archive.