Interpretable Program Synthesis. - Tianyi Zhang 001; Zhiyang Chen 004; Yuanli Zhu; Priyan Vaithilingam; Xinyu Wang 006; Elena L. Glassman (CHI, 2021)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. - Zhiyang Chen 004; Sidi Mohamed Beillahi; Fan Long (ICSE, 2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (ASE, 2024)

Demystifying the Characteristics for Smart Contract Upgrades. - Ye Liu 012; Shuo Li; Xiuheng Wu; Yi Li 008; Zhiyang Chen 004; David Lo 001 (CoRR, 2024)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security. - Zhiyang Chen 004; Jan Gorzny; Martin Derka (CoRR, 2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts. - Zhiyang Chen 004; Ye Liu 012; Sidi Mohamed Beillahi; Yi Li 008; Fan Long (Proc. ACM Softw. Eng., 2024)

Sequencer Level Security. - Martin Derka; Jan Gorzny; Diego Siqueira; Donato Pellegrino; Marius Guggenmos; Zhiyang Chen 004 (ICBC, 2025)

A Methodology for Replicating Historical Exploits on EVM-Compatible Blockchains. - Zhiyang Chen 004; Phillip Kemper; Yi Liu; Jan Gorzny; Diego Siqueira; Yuekang Li; Donato Pellegrino; Martin Derka (WETSEB, 2025)