Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. - Li-Chang Lai; Jiaxiang Liu 001; Xiaomu Shi; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2023)

Adversarial Patch for 3D Local Feature Extractor. - Yu Wen Pao; Li-Chang Lai; Hong-Yi Lin (CoRR, 2024)