Follow
Hongbo Wen
Hongbo Wen
PhD student, University of California, Saint Barbara
Verified email at ucsb.edu - Homepage
Title
Cited by
Cited by
Year
Practical Security Analysis of Zero-Knowledge Proof Circuits.
H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ...
IACR Cryptol. ePrint Arch. 2023, 190, 2023
82023
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
H Wen, H Liu, J Song, Y Chen, W Guo, Y Feng
arXiv preprint arXiv:2407.06348, 2024
2024
Stateless and Verifiable Execution Layer for Meta-Protocols on Bitcoin
W Hongbo, L Hanzhi, T Shuyang, L Tianyue, C Shuhan, Domo, C Yanju, ...
IACR Cryptol. ePrint Arch. 2024, 408, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–3