The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest. - Biao Zeng; Junjie Zhang; Hongbo Wen (ICFET, 2020)

A CNN Model with Discretized Mobile Features for Depression Detection. - Yueru Yan; Mei Tu; Hongbo Wen (BSN, 2022)

Practical Security Analysis of Zero-Knowledge Proof Circuits. - Hongbo Wen; Jon Stephens; Yanju Chen; Kostas Ferles; Shankara Pailoor; Kyle Charbonnet; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. - Hongbo Wen; Hanzhi Liu; Jiaxin Song; Yanju Chen; Wenbo Guo 002; Yu Feng 001 (CCS, 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 001 (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 001 (IACR Cryptol. ePrint Arch., 2024)

Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin. - Hongbo Wen; Hanzhi Liu; Shuyang Tang; Shuhan Cao; Domo; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2024)

TestAnaAPP: An interactive R-shiny application for various test analysis methods. - Youxiang Jiang; Qing Zeng; Hongbo Wen (SoftwareX, 2024)

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers. - Hongbo Wen; Hanzhi Liu; Jingyu Ke; Yanju Chen; Dahlia Malkhi; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2025)