Publications

Yu-Fu Fu, Jaehyuk Lee, Taesoo Kim (2023). autofz: Automated Fuzzer Composition at Runtime. SEC’ 23.

autofz

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

PDF Coq-QFBV

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

PDF Slides DOI CryptoLine GCC2CryptoLine