Data Quality Transaction on Different Distributed Ledger Technologies. - Chao Wu 001; Liyi Zhou; Chulin Xie; Yuhang Zheng; Jiawei Yu (BigSDM, 2018)

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. - Kaihua Qin; Liyi Zhou; Benjamin Livshits; Arthur Gervais (Financial Cryptography (1), 2021)

An empirical study of DeFi liquidations: incentives, risks, and instabilities. - Kaihua Qin; Liyi Zhou; Pablo Gamito; Philipp Jovanovic; Arthur Gervais (Internet Measurement Conference, 2021)

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. - Liyi Zhou; Kaihua Qin; Antoine Cully; Benjamin Livshits; Arthur Gervais (SP, 2021)

High-Frequency Trading on Decentralized On-Chain Exchanges. - Liyi Zhou; Kaihua Qin; Christof Ferreira Torres; Duc Viet Le 001; Arthur Gervais (SP, 2021)

A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges. - Liyi Zhou; Kaihua Qin; Arthur Gervais (CoRR, 2021)

CeFi vs. DeFi - Comparing Centralized to Decentralized Finance. - Kaihua Qin; Liyi Zhou; Yaroslav Afonin; Ludovico Lazzaretti; Arthur Gervais (CoRR, 2021)

Quantifying Blockchain Extractable Value: How dark is the forest? - Kaihua Qin; Liyi Zhou; Arthur Gervais (SP, 2022)

Cyclic Arbitrage in Decentralized Exchanges. - Ye Wang 017; Yan Chen; Haotian Wu; Liyi Zhou; Shuiguang Deng; Roger Wattenhofer (WWW (Companion Volume), 2022)

SoK: Decentralized Finance (DeFi) Incidents. - Liyi Zhou; Xihan Xiong; Jens Ernstberger; Stefanos Chaliasos; Zhipeng Wang 009; Ye Wang 017; Kaihua Qin; Roger Wattenhofer; Dawn Song; Arthur Gervais (CoRR, 2022)

SoK: Decentralized Finance (DeFi) Attacks. - Liyi Zhou; Xihan Xiong; Jens Ernstberger; Stefanos Chaliasos; Zhipeng Wang 009; Ye Wang 017; Kaihua Qin; Roger Wattenhofer; Dawn Song; Arthur Gervais (IACR Cryptol. ePrint Arch., 2022)

The Blockchain Imitation Game. - Kaihua Qin; Stefanos Chaliasos; Liyi Zhou; Benjamin Livshits; Dawn Song; Arthur Gervais (USENIX Security Symposium, 2023)

Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys. - Stefanos Chaliasos; Marcos Antonios Charalambous; Liyi Zhou; Rafaila Galanopoulou; Arthur Gervais; Dimitris Mitropoulos; Ben Livshits (CoRR, 2023)

Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph. - Kaihua Qin; Zhe Ye; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 008; Dawn Song; Arthur Gervais (CoRR, 2023)

Do you still need a manual smart contract audit? - Isaac David; Liyi Zhou; Kaihua Qin; Dawn Song; Lorenzo Cavallaro; Arthur Gervais (CoRR, 2023)

SoK: Data Sovereignty. - Jens Ernstberger; Jan Lauinger; Fatima Elsheimy; Liyi Zhou; Sebastian Steinhorst; Ran Canetti; Andrew Miller 001; Arthur Gervais; Dawn Song (IACR Cryptol. ePrint Arch., 2023)

Blockchain Large Language Models. - Yu Gai; Liyi Zhou; Kaihua Qin; Dawn Song; Arthur Gervais (IACR Cryptol. ePrint Arch., 2023)

Mitigating Decentralized Finance Liquidations with Reversible Call Options. - Kaihua Qin; Jens Ernstberger; Liyi Zhou; Philipp Jovanovic; Arthur Gervais (IACR Cryptol. ePrint Arch., 2023)

Leveraging Machine Learning for Bidding Strategies in Miner Extractable Value (MEV) Auctions. - Christoffer Raun; Benjamin Estermann; Liyi Zhou; Kaihua Qin; Roger Wattenhofer; Arthur Gervais; Ye Wang 017 (IACR Cryptol. ePrint Arch., 2023)

Time to Bribe: Measuring Block Construction Market. - Anton Wahrstätter; Liyi Zhou; Kaihua Qin; Davor Svetinovic; Arthur Gervais (IACR Cryptol. ePrint Arch., 2023)

On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. - Zhipeng Wang 009; Stefanos Chaliasos; Kaihua Qin; Liyi Zhou; Lifeng Gao; Pascal Berrang; Benjamin Livshits; Arthur Gervais (IACR Cryptol. ePrint Arch., 2023)

Speculative Denial-of-Service Attacks in Ethereum. - Aviv Yaish; Kaihua Qin; Liyi Zhou; Aviv Zohar; Arthur Gervais (IACR Cryptol. ePrint Arch., 2023)

# Artifact: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? - Stefanos Chaliasos; Marcos Antonios Charalambous; Liyi Zhou; Rafaila Galanopoulou; Dimitris Mitropoulos; Arthur Gervais; Benjamin Livshits (Zenodo, 2023)

DeFiAligner: Leveraging Symbolic Analysis and Large Language Models for Inconsistency Detection in Decentralized Finance. - Rundong Gan; Liyi Zhou; Le Wang 010; Kaihua Qin; Xiaodong Lin 001 (AFT, 2024)

DeFi '24: Workshop on Decentralized Finance and Security. - Liyi Zhou; Kaihua Qin (CCS, 2024)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? - Stefanos Chaliasos; Marcos Antonios Charalambous; Liyi Zhou; Rafaila Galanopoulou; Arthur Gervais; Dimitris Mitropoulos; Benjamin Livshits (ICSE, 2024)

Blockchain Censorship. - Anton Wahrstätter; Jens Ernstberger; Aviv Yaish; Liyi Zhou; Kaihua Qin; Taro Tsuchiya; Sebastian Steinhorst; Davor Svetinovic; Nicolas Christin; Mikolaj Barczentewicz; Arthur Gervais (WWW, 2024)

Blockchain Economic Denial of Sustainability Attack: Exploiting Latency Optimization in Ethereum Transaction Forwarding. - Taro Tsuchiya; Liyi Zhou; Kaihua Qin; Arthur Gervais; Nicolas Christin (CoRR, 2024)

Do You Need a Zero Knowledge Proof? - Jens Ernstberger; Stefanos Chaliasos; Liyi Zhou; Philipp Jovanovic; Arthur Gervais (IACR Cryptol. ePrint Arch., 2024)

# Artifact: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? - Stefanos Chaliasos; Marcos Antonions Charalambous; Liyi Zhou; Rafaila Galanopoulou; Dimitris Mitropoulos; Arthur Gervais; Benjamin Livshits (Zenodo, 2024)

# Artifact: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? - Stefanos Chaliasos; Marcos Antonions Charalambous; Liyi Zhou; Rafaila Galanopoulou; Dimitris Mitropoulos; Arthur Gervais; Benjamin Livshits (Zenodo, 2024)

# Artifact: Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? - Stefanos Chaliasos; Marcos Antonions Charalambous; Liyi Zhou; Rafaila Galanopoulou; Dimitris Mitropoulos; Arthur Gervais; Benjamin Livshits (Zenodo, 2024)

Enhancing Smart Contract Security Analysis with Execution Property Graphs. - Kaihua Qin; Zhe Ye; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 008; Dawn Song; Arthur Gervais (Proc. ACM Softw. Eng., 2025)

Blockchain Amplification Attack. - Taro Tsuchiya; Liyi Zhou; Kaihua Qin; Arthur Gervais; Nicolas Christin (Proc. ACM Meas. Anal. Comput. Syst., 2025)

Decompiling Smart Contracts with a Large Language Model. - Isaac David; Liyi Zhou; Dawn Song; Arthur Gervais; Kaihua Qin (CoRR, 2025)

AI Agent Smart Contract Exploit Generation. - Arthur Gervais; Liyi Zhou (CoRR, 2025)

Evasion Under Blockchain Sanctions. - Endong Liu; Mark Ryan; Liyi Zhou; Pascal Berrang (CoRR, 2025)