Arthur Gervais

According to our database, Arthur Gervais authored at least 77 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Multi-Agent Penetration Testing AI for the Web.

Isaac David, Arthur Gervais

CoRR, August, 2025

AI Agent Smart Contract Exploit Generation.

Arthur Gervais, Liyi Zhou

CoRR, July, 2025

Decompiling Smart Contracts with a Large Language Model.

Isaac David, Liyi Zhou, Dawn Song, Arthur Gervais, Kaihua Qin

CoRR, June, 2025

AuthorMist: Evading AI Text Detectors with Reinforcement Learning.

Isaac David, Arthur Gervais

CoRR, March, 2025

Enhancing Smart Contract Security Analysis with Execution Property Graphs.

Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, Arthur Gervais

Proc. ACM Softw. Eng., 2025

Blockchain Amplification Attack.

Taro Tsuchiya, Liyi Zhou, Kaihua Qin, Arthur Gervais, Nicolas Christin

Proceedings of the Abstracts of the 2025 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2025

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

Dataset, January, 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

Dataset, January, 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

Dataset, January, 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

Do You Need a Zero Knowledge Proof?

Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, Arthur Gervais

IACR Cryptol. ePrint Arch., 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

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

Proceedings of the ACM on Web Conference 2024, 2024

Speculative Denial-of-Service Attacks In Ethereum.

Aviv Yaish, Kaihua Qin, Liyi Zhou, Aviv Zohar, Arthur Gervais

Proceedings of the 33rd USENIX Security Symposium, 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ù

Proceedings of the Security and Cryptography for Networks - 14th International Conference, 2024

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification.

Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 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

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

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

Dataset, December, 2023

Suboptimality in DeFi.

Aviv Yaish, Maya Dotan, Kaihua Qin, Aviv Zohar, Arthur Gervais

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

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

IACR Cryptol. ePrint Arch., 2023

Blockchain Large Language Models.

Yu Gai, Liyi Zhou, Kaihua Qin, Dawn Song, Arthur Gervais

IACR Cryptol. ePrint Arch., 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

Do you still need a manual smart contract audit?

Isaac David, Liyi Zhou, Kaihua Qin, Dawn Song, Lorenzo Cavallaro, Arthur Gervais

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, Dawn Song, Arthur Gervais

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

Exploring the Advantages of Transformers for High-Frequency Trading.

Fazl Barez, Paul Bilokon, Arthur Gervais, Nikita Lisitsyn

CoRR, 2023

On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy.

Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais

Proceedings of the ACM Web Conference 2023, 2023

The Blockchain Imitation Game.

Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais

Proceedings of the 32nd USENIX Security Symposium, 2023

SoK: Decentralized Finance (DeFi) Attacks.

Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

Mitigating Decentralized Finance Liquidations with Reversible Call Options.

Kaihua Qin, Jens Ernstberger, Liyi Zhou, Philipp Jovanovic, Arthur Gervais

Proceedings of the Financial Cryptography and Data Security, 2023

DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions.

Ding Feng, Rupert Hitsch, Kaihua Qin, Arthur Gervais, Roger Wattenhofer, Yaxing Yao, Ye Wang

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

SoK: Data Sovereignty.

Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

2022

Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421).

Arthur Gervais, Marie Vasek

Dagstuhl Reports, October, 2022

A study of inline assembly in solidity smart contracts.

Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits

Proc. ACM Program. Lang., 2022

SoK: Decentralized Finance (DeFi) Incidents.

Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais

CoRR, 2022

Quantifying Blockchain Extractable Value: How dark is the forest?

Kaihua Qin, Liyi Zhou, Arthur Gervais

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Finding typing compiler bugs.

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Speculative Multipliers on DeFi: Quantifying On-Chain Leverage Risks.

Zhipeng Wang, Kaihua Qin, Duc Vu Minh, Arthur Gervais

Proceedings of the Financial Cryptography and Data Security, 2022

2021

Proof of Steak.

Jon Crowcroft, Hamed Haddadi, Arthur Gervais, Tristan Henderson

CoRR, 2021

Towards Private On-Chain Algorithmic Trading.

Ceren Kocaogullar, Arthur Gervais, Benjamin Livshits

CoRR, 2021

CeFi vs. DeFi - Comparing Centralized to Decentralized Finance.

Kaihua Qin, Liyi Zhou, Yaroslav Afonin, Ludovico Lazzaretti, Arthur Gervais

CoRR, 2021

A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges.

Liyi Zhou, Kaihua Qin, Arthur Gervais

CoRR, 2021

High-Frequency Trading on Decentralized On-Chain Exchanges.

Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc Viet Le, Arthur Gervais

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols.

Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

An empirical study of DeFi liquidations: incentives, risks, and instabilities.

Kaihua Qin, Liyi Zhou, Pablo Gamito, Philipp Jovanovic, Arthur Gervais

Proceedings of the IMC '21: ACM Internet Measurement Conference, 2021

The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts.

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State

Proceedings of the Financial Cryptography and Data Security, 2021

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit.

Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais

Proceedings of the Financial Cryptography and Data Security, 2021

ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts.

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

AMR: autonomous coin mixer with privacy preserving reward distribution.

Duc Viet Le, Arthur Gervais

Proceedings of the 3rd ACM Conference on Advances in Financial Technologies, 2021

2020

Towards Smart Hybrid Fuzzing for Smart Contracts.

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State

CoRR, 2020

The Decentralized Financial Crisis: Attacking DeFi.

Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits

CoRR, 2020

SoK: Layer-Two Blockchain Protocols.

Lewis Gudgeon, Pedro Moreno-Sanchez, Stefanie Roos, Patrick McCorry, Arthur Gervais

Proceedings of the Financial Cryptography and Data Security, 2020

FileBounty: Fair Data Exchange.

Simon Janin, Kaihua Qin, Akaki Mamageishvili, Arthur Gervais

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

The Decentralized Financial Crisis.

Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2020

2019

TEX - A Securely Scalable Trustless Exchange.

Rami Khalil, Arthur Gervais, Guillaume Felley

IACR Cryptol. ePrint Arch., 2019

SoK: Off The Chain Transactions.

Lewis Gudgeon, Pedro Moreno-Sanchez, Stefanie Roos, Patrick McCorry, Arthur Gervais

IACR Cryptol. ePrint Arch., 2019

XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets.

Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Applying Private Information Retrieval to Lightweight Bitcoin Clients.

Kaihua Qin, Henryk Hadass, Arthur Gervais, Joel Reardon

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2019

Balance: Dynamic Adjustment of Cryptocurrency Deposits.

Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

NOCUST - A Non-Custodial 2nd-Layer Financial Intermediary.

Rami Khalil, Arthur Gervais

IACR Cryptol. ePrint Arch., 2018

TLS-N: Non-repudiation over TLS Enablign Ubiquitous Content Signing.

Hubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, Srdjan Capkun

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Do you Need a Blockchain?

Karl Wüst, Arthur Gervais

Proceedings of the Crypto Valley Conference on Blockchain Technology, 2018

Securify: Practical Security Analysis of Smart Contracts.

Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

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

ROTE: Rollback Protection for Trusted Execution.

Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David M. Sommer, Arthur Gervais, Ari Juels, Srdjan Capkun

Proceedings of the 26th USENIX Security Symposium, 2017

Quantifying Web Adblocker Privacy.

Arthur Gervais, Alexandros Filios, Vincent Lenders, Srdjan Capkun

Proceedings of the Computer Security - ESORICS 2017, 2017

Revive: Rebalancing Off-Blockchain Payment Networks.

Rami Khalil, Arthur Gervais

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Quantifying Location Privacy Leakage from Transaction Prices.

Arthur Gervais, Hubert Ritzdorf, Mario Lucic, Vincent Lenders, Srdjan Capkun

Proceedings of the Computer Security - ESORICS 2016, 2016

On the Security and Performance of Proof of Work Blockchains.

Arthur Gervais, Ghassan O. Karame, Karl Wüst, Vasileios Glykantzis, Hubert Ritzdorf, Srdjan Capkun

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

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

Quantifying Location Privacy Leakage from Transaction Prices.

Arthur Gervais, Hubert Ritzdorf, Mario Lucic, Srdjan Capkun

IACR Cryptol. ePrint Arch., 2015

Tampering with the Delivery of Blocks and Transactions in Bitcoin.

Arthur Gervais, Hubert Ritzdorf, Ghassan O. Karame, Srdjan Capkun

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Quantifying Web-Search Privacy.

Arthur Gervais, Reza Shokri, Adish Singla, Srdjan Capkun, Vincent Lenders

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

On the privacy provisions of Bloom filters in lightweight bitcoin clients.

Arthur Gervais, Srdjan Capkun, Ghassan O. Karame, Damian Gruber

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Is Bitcoin a Decentralized Currency?

Arthur Gervais, Ghassan Karame, Srdjan Capkun, Vedran Capkun

IACR Cryptol. ePrint Arch., 2013