Hongbo Wen

According to our database, Hongbo Wen authored at least 8 papers between 2020 and 2024.

Collaborative distances:

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

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

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

2023

Practical Security Analysis of Zero-Knowledge Proof Circuits.

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

IACR Cryptol. ePrint Arch., 2023

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