Code is the (F)Law: Demystifying and Mitigating Blockchain Inconsistency Attacks Caused by Software Bugs. - Guorui Yu; Shibin Zhao; Chao Zhang 008; Zhiniang Peng; Yuandong Ni; Xinhui Han (INFOCOM, 2021)

An Empirical Study on Implicit Constraints in Smart Contract Static Analysis. - Tingting Yin; Chao Zhang 008; Yuandong Ni; Yixiong Wu; Taiyu Wong; Xiapu Luo; Zheming Li; Yu Guo (ICSE (SEIP), 2022)

ConFuzz: Towards Large Scale Fuzz Testing of Smart Contracts in Ethereum. - Taiyu Wong; Chao Zhang 008; Yuandong Ni; Mingsen Luo; Heying Chen; Yufei Yu; Weilin Li; Xiapu Luo; Haoyu Wang 001 (INFOCOM, 2024)