Yu-Fu Fu

11 papers A* 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
OSS-CRS: Liberating AIxCC Cyber Reasoning Systems for Real-World Open-Source Security.
CoRR
Andrew Chin, Dongkwan Kim, Yu-Fu Fu, Fabian Fleischer, Youngjoon Kim, HyungSeok Han, Cen Zhang, Brian J. Lee, Hanqing Zhao, Taesoo Kim
2026 J jnl
SoK: DARPA's AI Cyber Challenge (AIxCC): Competition Design, Architectures, and Lessons Learned.
CoRR
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
2025 A* conf
Agentic Specification Generator for Move Programs.
ASE
Yu-Fu Fu, Meng Xu, Taesoo Kim
2025 J jnl
Agentic Specification Generator for Move Programs.
CoRR
Yu-Fu Fu, Meng Xu, Taesoo Kim
2023 — conf
Certified Verification for Algebraic Abstraction.
CAV (3)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023 — conf
CoqCryptoLine: A Verified Model Checker with Certified Results.
CAV (2)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023 A* conf
autofz: Automated Fuzzer Composition at Runtime.
USENIX Security Symposium
Yu-Fu Fu, Jae-Hyuk Lee, Taesoo Kim
2023 J jnl
autofz: Automated Fuzzer Composition at Runtime.
CoRR
Yu-Fu Fu, Jae-Hyuk Lee, Taesoo Kim
2022 J jnl
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.
IACR Cryptol. ePrint Arch.
Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang
2021 — conf
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.
CAV (2)
Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2019 A* conf
Signed Cryptographic Program Verification with Typed CryptoLine.
CCS
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang