Hongbo Wen

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Security Analysis

Mathematics Learning

Proxy Signature Scheme

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CoRR (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Hongbo Wen, Hanzhi Liu, Shuyang Tang, Shuhan Cao, Domo, Yu Feng
Modular Indexer: Fully User-Verified Execution Layer for Meta-Protocols on Bitcoin. IACR Cryptol. ePrint Arch. 2024 (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Yueru Yan, Mei Tu, Hongbo Wen
A CNN Model with Discretized Mobile Features for Depression Detection. BSN (2022)
Biao Zeng, Junjie Zhang, Hongbo Wen
The Relationship between Teachers' Misbehavior and Students' Scientific Literacy: the Mediation Effect of Students' Scientific Interest. ICFET (2020)