Signed Cryptographic Program Verification with Typed CryptoLine. - Yu-Fu Fu; Jiaxiang Liu 001; Xiaomu Shi; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang (CCS, 2019)

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. - Xiaomu Shi; Yu-Fu Fu; Jiaxiang Liu 001; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang (CAV (2), 2021)

Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. - Ming-Hsien Tsai 001; Yu-Fu Fu; Xiaomu Shi; Jiaxiang Liu 001; Bow-Yaw Wang; Bo-Yin Yang (IACR Cryptol. ePrint Arch., 2022)

Certified Verification for Algebraic Abstraction. - Ming-Hsien Tsai 001; Yu-Fu Fu; Jiaxiang Liu 001; Xiaomu Shi; Bow-Yaw Wang; Bo-Yin Yang (CAV (3), 2023)

CoqCryptoLine: A Verified Model Checker with Certified Results. - Ming-Hsien Tsai 001; Yu-Fu Fu; Jiaxiang Liu 001; Xiaomu Shi; Bow-Yaw Wang; Bo-Yin Yang (CAV (2), 2023)

autofz: Automated Fuzzer Composition at Runtime. - Yu-Fu Fu; Jae-Hyuk Lee; Taesoo Kim (USENIX Security Symposium, 2023)