Hongbo Wen

According to our database, Hongbo Wen authored at least 13 papers between 2020 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

Class-agnostic and semantic-aware fusing network with optimal transport for weakly supervised object localization.

Lei Ma, Hongbo Wen, Hanyu Hong, Fanman Meng, Qingbo Wu

Expert Syst. Appl., 2026

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

2024

TestAnaAPP: An interactive R-shiny application for various test analysis methods.

Youxiang Jiang, Qing Zeng, Hongbo Wen

SoftwareX, 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

Practical Security Analysis of Zero-Knowledge Proof Circuits.

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng

Proceedings of the 33rd USENIX Security Symposium, 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

2022

A CNN Model with Discretized Mobile Features for Depression Detection.

Yueru Yan, Mei Tu, Hongbo Wen

Proceedings of the IEEE-EMBS International Conference on Wearable and Implantable Body Sensor Networks, 2022

2020

The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest.

Biao Zeng, Junjie Zhang, Hongbo Wen

Proceedings of the ICFET 2020, 2020