Hanzhi Liu

According to our database, Hanzhi Liu authored at least 11 papers between 2024 and 2026.

Collaborative distances:

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

2026

Synthesizing Multi-Agent Harnesses for Vulnerability Discovery.

Hanzhi Liu, Chaofan Shou, Xiaonan Liu, Hongbo Wen, Yanju Chen, Ryan Jingyang Fang, Yu Feng

CoRR, April, 2026

Your Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain.

Hanzhi Liu, Chaofan Shou, Hongbo Wen, Yanju Chen, Ryan Jingyang Fang, Yu Feng

CoRR, April, 2026

2025

Affordance-First Decomposition for Continual Learning in Video-Language Understanding.

Mengzhu Xu, Hanzhi Liu, Ningkang Peng, Qianyu Chen, Canran Xiao

CoRR, December, 2025

Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits.

Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng

Proc. ACM Program. Lang., 2025

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.

Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng

IACR Cryptol. ePrint Arch., 2025

Understanding the Linux Kernel, Visually.

Hanzhi Liu, Yanyan Jiang, Chang Xu

Proceedings of the Twentieth European Conference on Computer Systems, 2025

2024

Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.

Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Push-Button Verification for BitVM Implementations.

Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.

Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng

IACR Cryptol. ePrint Arch., 2024

Certifying Zero-Knowledge Circuits with Refinement Types.

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng

Proceedings of the IEEE Symposium on Security and Privacy, 2024

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng

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