Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Browse the full ESORICS paper archive.