Yu-Fu Fu

According to our database, Yu-Fu Fu authored at least 9 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security.

Andrew Chin, Dongkwan Kim, Yu-Fu Fu, Fabian Fleischer, Youngjoon Kim, HyungSeok Han, Cen Zhang, Brian J. Lee, Hanqing Zhao, Taesoo Kim

CoRR, March, 2026

SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned.

Cen Zhang, Younggi Park, Fabian Fleischer, Yu-Fu Fu, Jiho Kim, Dongkwan Kim, Youngjoon Kim, Qingxiao Xu, Andrew Chin, Ze Sheng, Hanqing Zhao, Brian J. Lee, Joshua Wang, Michael Pelican, David J. Musliner, Jeff Huang, Jon Silliman, Mikel Mcdaniel, Jefferson Casavant, Isaac Goldthwaite, Nicholas Vidovich, Matthew Lehman, Taesoo Kim

CoRR, February, 2026

2025

Agentic Specification Generator for Move Programs.

Yu-Fu Fu, Meng Xu, Taesoo Kim

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023

autofz: Automated Fuzzer Composition at Runtime.

Yu-Fu Fu, Jae-Hyuk Lee, Taesoo Kim

Proceedings of the 32nd USENIX Security Symposium, 2023

CoqCryptoLine: A Verified Model Checker with Certified Results.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Certified Verification for Algebraic Abstraction.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.

Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang

IACR Cryptol. ePrint Arch., 2022

2021

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.

Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Signed Cryptographic Program Verification with Typed CryptoLine.

Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019