Is Bitcoin a Decentralized Currency? - Arthur Gervais; Ghassan Karame; Srdjan Capkun; Vedran Capkun (IACR Cryptol. ePrint Arch., 2013)

On the privacy provisions of Bloom filters in lightweight bitcoin clients. - Arthur Gervais; Srdjan Capkun; Ghassan O. Karame; Damian Gruber (ACSAC, 2014)

Quantifying Web-Search Privacy. - Arthur Gervais; Reza Shokri; Adish Singla; Srdjan Capkun; Vincent Lenders (CCS, 2014)

Tampering with the Delivery of Blocks and Transactions in Bitcoin. - Arthur Gervais; Hubert Ritzdorf; Ghassan O. Karame; Srdjan Capkun (CCS, 2015)

Quantifying Location Privacy Leakage from Transaction Prices. - Arthur Gervais; Hubert Ritzdorf; Mario Lucic; Srdjan Capkun (IACR Cryptol. ePrint Arch., 2015)

Misbehavior in Bitcoin: A Study of Double-Spending and Accountability. - Ghassan O. Karame; Elli Androulaki; Marc Roeschlin; Arthur Gervais; Srdjan Capkun (ACM Trans. Inf. Syst. Secur., 2015)

On the Security and Performance of Proof of Work Blockchains. - Arthur Gervais; Ghassan O. Karame; Karl Wüst; Vasileios Glykantzis; Hubert Ritzdorf; Srdjan Capkun (CCS, 2016)

Quantifying Location Privacy Leakage from Transaction Prices. - Arthur Gervais; Hubert Ritzdorf; Mario Lucic; Vincent Lenders; Srdjan Capkun (ESORICS (2), 2016)

Revive: Rebalancing Off-Blockchain Payment Networks. - Rami Khalil; Arthur Gervais (CCS, 2017)

Quantifying Web Adblocker Privacy. - Arthur Gervais; Alexandros Filios; Vincent Lenders; Srdjan Capkun (ESORICS (2), 2017)

ROTE: Rollback Protection for Trusted Execution. - Sinisa Matetic; Mansoor Ahmed; Kari Kostiainen; Aritra Dhar; David M. Sommer 001; Arthur Gervais; Ari Juels; Srdjan Capkun (USENIX Security Symposium, 2017)

TLS-N: Non-repudiation over TLS Enabling - Ubiquitous Content Signing for Disintermediation. - Hubert Ritzdorf; Karl Wüst; Arthur Gervais; Guillaume Felley; Srdjan Capkun (IACR Cryptol. ePrint Arch., 2017)

Securify: Practical Security Analysis of Smart Contracts. - Petar Tsankov; Andrei Marian Dan; Dana Drachsler-Cohen; Arthur Gervais; Florian Bünzli; Martin T. Vechev (CCS, 2018)

Do you Need a Blockchain? - Karl Wüst; Arthur Gervais (CVCBT, 2018)

TLS-N: Non-repudiation over TLS Enablign Ubiquitous Content Signing. - Hubert Ritzdorf; Karl Wüst; Arthur Gervais; Guillaume Felley; Srdjan Capkun (NDSS, 2018)

NOCUST - A Non-Custodial 2nd-Layer Financial Intermediary. - Rami Khalil; Arthur Gervais (IACR Cryptol. ePrint Arch., 2018)

Balance: Dynamic Adjustment of Cryptocurrency Deposits. - Dominik Harz; Lewis Gudgeon; Arthur Gervais; William J. Knottenbelt (CCS, 2019)

Applying Private Information Retrieval to Lightweight Bitcoin Clients. - Kaihua Qin; Henryk Hadass; Arthur Gervais; Joel Reardon (CVCBT, 2019)

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. - Alexei Zamyatin; Dominik Harz; Joshua Lind; Panayiotis Panayiotou 002; Arthur Gervais; William J. Knottenbelt (IEEE Symposium on Security and Privacy, 2019)

SoK: Off The Chain Transactions. - Lewis Gudgeon; Pedro Moreno-Sanchez; Stefanie Roos; Patrick McCorry; Arthur Gervais (IACR Cryptol. ePrint Arch., 2019)

TEX - A Securely Scalable Trustless Exchange. - Rami Khalil; Arthur Gervais; Guillaume Felley (IACR Cryptol. ePrint Arch., 2019)

The Decentralized Financial Crisis. - Lewis Gudgeon; Daniel Perez 001; Dominik Harz; Benjamin Livshits; Arthur Gervais (CVCBT, 2020)

FileBounty: Fair Data Exchange. - Simon Janin; Kaihua Qin; Akaki Mamageishvili; Arthur Gervais (EuroS&P Workshops, 2020)

SoK: Layer-Two Blockchain Protocols. - Lewis Gudgeon; Pedro Moreno-Sanchez; Stefanie Roos; Patrick McCorry; Arthur Gervais (Financial Cryptography, 2020)

The Decentralized Financial Crisis: Attacking DeFi. - Lewis Gudgeon; Daniel Perez 001; Dominik Harz; Arthur Gervais; Benjamin Livshits (CoRR, 2020)

Towards Smart Hybrid Fuzzing for Smart Contracts. - Christof Ferreira Torres; Antonio Ken Iannillo; Arthur Gervais; Radu State (CoRR, 2020)

AMR: autonomous coin mixer with privacy preserving reward distribution. - Duc Viet Le 001; Arthur Gervais (AFT, 2021)

ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. - Christof Ferreira Torres; Antonio Ken Iannillo; Arthur Gervais; Radu State (EuroS&P, 2021)

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

The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. - Christof Ferreira Torres; Antonio Ken Iannillo; Arthur Gervais; Radu State (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)

Towards Private On-Chain Algorithmic Trading. - Ceren Kocaogullar; Arthur Gervais; Benjamin Livshits (CoRR, 2021)

Proof of Steak. - Jon Crowcroft; Hamed Haddadi; Arthur Gervais; Tristan Henderson (CoRR, 2021)

Speculative Multipliers on DeFi: Quantifying On-Chain Leverage Risks. - Zhipeng Wang 009; Kaihua Qin; Duc Vu Minh; Arthur Gervais (Financial Cryptography, 2022)

Finding typing compiler bugs. - Stefanos Chaliasos; Thodoris Sotiropoulos; Diomidis Spinellis; Arthur Gervais; Benjamin Livshits; Dimitris Mitropoulos (PLDI, 2022)

Quantifying Blockchain Extractable Value: How dark is the forest? - Kaihua Qin; Liyi Zhou; Arthur Gervais (SP, 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)

A study of inline assembly in solidity smart contracts. - Stefanos Chaliasos; Arthur Gervais; Benjamin Livshits (Proc. ACM Program. Lang., 2022)

Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421). - Arthur Gervais; Marie Vasek (Dagstuhl Reports, 2022)

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

DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions. - Ding Feng 008; Rupert Hitsch; Kaihua Qin; Arthur Gervais; Roger Wattenhofer; Yaxing Yao; Ye Wang 017 (FC Workshops, 2023)

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

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 (SP, 2023)

The Blockchain Imitation Game. - Kaihua Qin; Stefanos Chaliasos; Liyi Zhou; Benjamin Livshits; Dawn Song; Arthur Gervais (USENIX Security Symposium, 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 (WWW, 2023)

Exploring the Advantages of Transformers for High-Frequency Trading. - Fazl Barez; Paul Bilokon; Arthur Gervais; Nikita Lisitsyn (CoRR, 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)

What Drives the (In)stability of a Stablecoin? - Yujin Kwon; Kornrapat Pongmala; Kaihua Qin; Ariah Klages-Mundt; Philipp Jovanovic; Christine A. Parlour; Arthur Gervais; Dawn Song (CoRR, 2023)

Blockchain Large Language Models. - Yu Gai; Liyi Zhou; Kaihua Qin; Dawn Song; 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)

Suboptimality in DeFi. - Aviv Yaish; Maya Dotan; Kaihua Qin; 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)

What Drives the (In)stability of a Stablecoin? - Yujin Potter; Kornrapat Pongmala; Kaihua Qin; Ariah Klages-Mundt; Philipp Jovanovic; Christine A. Parlour; Arthur Gervais; Dawn Song (ICBC, 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)

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification. - Yepeng Ding; Arthur Gervais; Roger Wattenhofer; Hiroyuki Sato 002 (ICSE Companion, 2024)

zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. - Jens Ernstberger; Stefanos Chaliasos; George Kadianakis; Sebastian Steinhorst; Philipp Jovanovic; Arthur Gervais; Benjamin Livshits; Michele Orrù (SCN (1), 2024)

Speculative Denial-of-Service Attacks In Ethereum. - Aviv Yaish; Kaihua Qin; Liyi Zhou; Aviv Zohar; Arthur Gervais (USENIX Security Symposium, 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)

ORIGO: Proving Provenance of Sensitive Data with Constant Communication. - Jens Ernstberger; Jan Lauinger; Yinnan Wu; Arthur Gervais; Sebastian Steinhorst (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)

Blockchain Amplification Attack. - Taro Tsuchiya; Liyi Zhou; Kaihua Qin; Arthur Gervais; Nicolas Christin (SIGMETRICS (Abstracts), 2025)

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)

AuthorMist: Evading AI Text Detectors with Reinforcement Learning. - Isaac David; Arthur Gervais (CoRR, 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)

Multi-Agent Penetration Testing AI for the Web. - Isaac David; Arthur Gervais (CoRR, 2025)