Hongbo Wen

Orcid: 0000-0001-8620-9734

According to our database¹, Hongbo Wen authored at least 9 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Thunderbolt: A Formally Verified Protocol for Off-Chain Bitcoin Transfers.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

2024

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

[BibT_eX]

[DOI]

Youxiang Jiang

Qing Zeng

Hongbo Wen

SoftwareX, 2024

Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Push-Button Verification for BitVM Implementations.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

Practical Security Analysis of Zero-Knowledge Proof Circuits.

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Biao Zeng

Junjie Zhang

Hongbo Wen

Proceedings of the ICFET 2020, 2020

Hongbo Wen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...