C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Yuandong Ni
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Symbolic Execution
Security Vulnerabilities
Clone Detection
Top Venues
INFOCOM
ICSE (SEIP)
</>
Publications
</>
Tingting Yin
,
Chao Zhang
,
Yuandong Ni
,
Yixiong Wu
,
Taiyu Wong
,
Xiapu Luo
,
Zheming Li
,
Yu Guo
An Empirical Study on Implicit Constraints in Smart Contract Static Analysis.
ICSE (SEIP)
(2022)
Guorui Yu
,
Shibin Zhao
,
Chao Zhang
,
Zhiniang Peng
,
Yuandong Ni
,
Xinhui Han
Code is the (F)Law: Demystifying and Mitigating Blockchain Inconsistency Attacks Caused by Software Bugs.
INFOCOM
(2021)