Hanzhi Liu

According to our database, Hanzhi Liu authored at least 7 papers between 2024 and 2025.

Collaborative distances:

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

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