Hanzhi Liu

11 papers A* 2A 1Journal 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Affordance-First Decomposition for Continual Learning in Video-Language Understanding.
CoRR
Mengzhu Xu, Hanzhi Liu, Ningkang Peng, Qianyu Chen, Canran Xiao
2025 J jnl
Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits.
Proc. ACM Program. Lang.
Junrui Liu, Jiaxin Song, Yanning Chen, Hanzhi Liu, Hongbo Wen, Luke Pearson, Yanju Chen, Yu Feng
2025 J jnl
Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Hanzhi Liu, Jingyu Ke, Yanju Chen, Dahlia Malkhi, Yu Feng
2025 A conf
Understanding the Linux Kernel, Visually.
EuroSys
Hanzhi Liu, Yanyan Jiang, Chang Xu
2024 A* conf
Certifying Zero-Knowledge Circuits with Refinement Types.
SP
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
2024 A* conf
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.
CCS
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024 J jnl
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.
CoRR
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
2024 J jnl
Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng
2024 J jnl
Push-Button Verification for BitVM Implementations.
IACR Cryptol. ePrint Arch.
Hanzhi Liu, Jingyu Ke, Hongbo Wen, Robin Linus, Lukas George, Manish Bista, Hakan Karakus, Domo, Junrui Liu, Yanju Chen, Yu Feng
2024 J jnl
Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.
IACR Cryptol. ePrint Arch.
Yanju Chen, Juson Xia, Bo Wen, Kyle Charbonnet, Hongbo Wen, Hanzhi Liu, Luke Pearson, Yu Feng
2023 J jnl
Certifying Zero-Knowledge Circuits with Refinement Types.
IACR Cryptol. ePrint Arch.
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng