Hongbo Wen

13 papers A* 2C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Class-agnostic and semantic-aware fusing network with optimal transport for weakly supervised object localization.
Expert Syst. Appl.
Lei Ma, Hongbo Wen, Hanyu Hong, Fanman Meng, Qingbo Wu
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
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 A* conf
Practical Security Analysis of Zero-Knowledge Proof Circuits.
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, 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
2024 J jnl
TestAnaAPP: An interactive R-shiny application for various test analysis methods.
SoftwareX
Youxiang Jiang, Qing Zeng, Hongbo Wen
2023 J jnl
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2022 C conf
A CNN Model with Discretized Mobile Features for Depression Detection.
BSN
Yueru Yan, Mei Tu, Hongbo Wen
2020 — conf
The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest.
ICFET
Biao Zeng, Junjie Zhang, Hongbo Wen