Hongbo WenI am a PhD student at the School of Computer Science, UC Santa Barbara. My PhD advisor is Yu Feng. I am also glad to be guided by Yanju Chen at UC Santa Barbara. Before attending UCSB, I received my undergraduate degree from Tsinghua University and had a two-year industry experience at Megvii and Veridise, focusing on using academic techniques to solve real world problems. Research InterestsI am focusing on helping complex software systems, such as blockchain, zero-knowledge proofs, and operating systems, become more reliable and stable. I am also interested in combing logical reasoning and nerual reasoning and apply those methods in practice. Here are some keywords about my research:
|
|
Publications(* Equal Contribution) |
|
ACM CCS'24
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols
Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng pdf / bib / code / |
|
|
USENIX Security'24
Practical Security Analysis of Zero-Knowledge Proof Circuits
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng pdf / bib / code / |
|
Industry/Academia Engagements(Engagements beyond pure research publications) |
|
From
2023 - 01
to
Now
UCSB
Teaching Assistant Do the teaching assistant for the following courses:
|
|
|
From
2022 - 09
to
Now
UCSB
Research Assistant at PLSE Lab |
|
|
From
2022 - 03
to
2022 - 08
Veridise
Research & Development Engineer Do the research internship at Veridise, focusing on smart contracts auditing, especially using formal verification tools to make the auditing automatically. |
Honors and Awards |
|
2024 - 08
Academic Grant, MEV Track - Ethereum Foundation
|
|
|
2023 - 07
Academic Grant, Formal Verification Track - Ethereum Foundation
|
|
|
2022 - 09
Academic Excellence Fellowship - UCSB
|
|
Design and source code from Jon Barron's website |