Yu-Fu Fu

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
Certified Verification for Algebraic Abstraction. CAV (3) (2023)
Yu-Fu Fu, Jae-Hyuk Lee, Taesoo Kim
autofz: Automated Fuzzer Composition at Runtime. CoRR (2023)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
CoqCryptoLine: A Verified Model Checker with Certified Results. CAV (2) (2023)
Yu-Fu Fu, Jae-Hyuk Lee, Taesoo Kim
autofz: Automated Fuzzer Composition at Runtime. USENIX Security Symposium (2023)
Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE. IACR Cryptol. ePrint Arch. 2022 (2022)
Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. CAV (2) (2021)
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
Signed Cryptographic Program Verification with Typed CryptoLine. CCS (2019)