Scalable Log Auditing on Private Blockchains via Lightweight Log-Fork Prevention. - Yuzhe Richard Tang; Kai Li 017; Yibo Wang 006; Sencer Burak Somuncuoglu (SERIAL@Middleware, 2020)

DETER: Denial of Ethereum Txpool sERvices. - Kai Li 017; Yibo Wang 006; Yuzhe Tang (CCS, 2021)

TopoShot: uncovering Ethereum's network topology leveraging replacement transactions. - Kai Li 017; Yuzhe Tang; Jiaqi Chen; Yibo Wang 006; Xianghong Liu (Internet Measurement Conference, 2021)

iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations. - Yibo Wang 006; Qi Zhang 009; Kai Li 017; Yuzhe Tang; Jiaqi Chen; Xiapu Luo; Ting Chen 002 (ESEC/SIGSOFT FSE, 2021)

iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations. - Yibo Wang 006; Qi Zhang 009; Kai Li 017; Yuzhe Richard Tang; Xiapu Luo; Ting Chen 002 (CoRR, 2021)

Poster: Enabling Cost-Effective Blockchain Applications via Workload-Adaptive Transaction Execution. - Yibo Wang 006; Yuzhe Tang (CCS, 2022)

APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps. - Sinan Wang; Yibo Wang 006; Xian Zhan; Ying Wang 038; Yepang Liu 001; Xiapu Luo; Shing-Chi Cheung (ICSE, 2022)

Enabling Cost-Effective Blockchain Applications via Workload-Adaptive Transaction Execution. - Yibo Wang 006; Yuzhe Tang (CoRR, 2022)

Efficiently Hardening SGX Enclaves against Memory Access Pattern Attacks via Dynamic Program Partitioning. - Yuzhe Tang; Kai Li 017; Yibo Wang 006; Jiaqi Chen; Cheng Xu 004 (CoRR, 2022)

Understanding the Security Risks of Decentralized Exchanges by Uncovering Unfair Trades in the Wild. - Jiaqi Chen; Yibo Wang 006; Yuxuan Zhou; Wanning Ding; Yuzhe Tang; XiaoFeng Wang 001; Kai Li 017 (EuroS&P, 2023)

Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolic Fuzzing. - Yibo Wang 006; Wanning Ding; Kai Li 017; Yuzhe Tang (CoRR, 2023)

Towards Saving Blockchain Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations. - Yibo Wang 006; Kai Li 017; Yuzhe Tang; Jiaqi Chen; Qi Zhang 009; Xiapu Luo; Ting Chen 002 (IEEE Trans. Software Eng., 2023)

Understanding Ethereum Mempool Security under Asymmetric DoS by Symbolized Stateful Fuzzing. - Yibo Wang 006; Yuzhe Tang; Kai Li 017; Wanning Ding; Zhihua Yang (USENIX Security Symposium, 2024)

Towards Understanding Crypto-Asset Risks on Ethereum Caused by Key Leakage on the Internet. - Yuxuan Zhou; Jiaqi Chen; Yibo Wang 006; Yuzhe Tang; Guofei Gu (WWW (Companion Volume), 2024)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs. - Wanning Ding; Yuzhe Tang; Yibo Wang 006 (SP, 2025)

Security Analysis and Formal Verification on Blockchain and its Applications. - Kang Li; Ronghui Gu; Jun Xu 019; Zhaofeng Chen; Siwei Wu; Yajin Zhou; Mu Zhang 001; Xiapu Luo; Yuzhe Tang; Yi Li; Xiaokuan Zhang; Yibo Wang 006 (Found. Trends Priv. Secur., 2025)