Arthur Gervais

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 89

Top Topics

Location Privacy

Comparative Evaluation

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Jens Ernstberger, Stefanos Chaliasos, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
Do You Need a Zero Knowledge Proof? IACR Cryptol. ePrint Arch. 2024 (2024)
Jens Ernstberger, Jan Lauinger, Yinnan Wu, Arthur Gervais, Sebastian Steinhorst
ORIGO: Proving Provenance of Sensitive Data with Constant Communication. IACR Cryptol. ePrint Arch. 2024 (2024)
Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification. ICSE Companion (2024)
Anton Wahrstätter, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin, Mikolaj Barczentewicz, Arthur Gervais
Blockchain Censorship. WWW (2024)
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Benjamin Livshits
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? ICSE (2024)
Yepeng Ding, Arthur Gervais, Roger Wattenhofer, Hiroyuki Sato
Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification. CoRR (2024)
Aviv Yaish, Kaihua Qin, Liyi Zhou, Aviv Zohar, Arthur Gervais
Speculative Denial-of-Service Attacks In Ethereum. USENIX Security Symposium (2024)
Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song
SoK: Data Sovereignty. EuroS&P (2023)
Kaihua Qin, Jens Ernstberger, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
Mitigating Decentralized Finance Liquidations with Reversible Call Options. FC (1) (2023)
Jens Ernstberger, Jan Lauinger, Fatima Elsheimy, Liyi Zhou, Sebastian Steinhorst, Ran Canetti, Andrew Miller, Arthur Gervais, Dawn Song
SoK: Data Sovereignty. IACR Cryptol. ePrint Arch. 2023 (2023)
Anton Wahrstätter, Liyi Zhou, Kaihua Qin, Davor Svetinovic, Arthur Gervais
Time to Bribe: Measuring Block Construction Market. IACR Cryptol. ePrint Arch. 2023 (2023)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. IACR Cryptol. ePrint Arch. 2023 (2023)
Anton Wahrstätter, Jens Ernstberger, Aviv Yaish, Liyi Zhou, Kaihua Qin, Taro Tsuchiya, Sebastian Steinhorst, Davor Svetinovic, Nicolas Christin, Mikolaj Barczentewicz, Arthur Gervais
Blockchain Censorship. CoRR (2023)
Yujin Kwon, Kornrapat Pongmala, Kaihua Qin, Ariah Klages-Mundt, Philipp Jovanovic, Christine A. Parlour, Arthur Gervais, Dawn Song
What Drives the (In)stability of a Stablecoin? CoRR (2023)
Christoffer Raun, Benjamin Estermann, Liyi Zhou, Kaihua Qin, Roger Wattenhofer, Arthur Gervais, Ye Wang
Leveraging Machine Learning for Bidding Strategies in Miner Extractable Value (MEV) Auctions. IACR Cryptol. ePrint Arch. 2023 (2023)
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
The Blockchain Imitation Game. USENIX Security Symposium (2023)
Yu Gai, Liyi Zhou, Kaihua Qin, Dawn Song, Arthur Gervais
Blockchain Large Language Models. CoRR (2023)
Yu Gai, Liyi Zhou, Kaihua Qin, Dawn Song, Arthur Gervais
Blockchain Large Language Models. IACR Cryptol. ePrint Arch. 2023 (2023)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Benjamin Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. WWW (2023)
Anton Wahrstätter, Liyi Zhou, Kaihua Qin, Davor Svetinovic, Arthur Gervais
Time to Bribe: Measuring Block Construction Market. CoRR (2023)
Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, Arthur Gervais
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph. CoRR (2023)
Kaihua Qin, Jens Ernstberger, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
Mitigating Decentralized Finance Liquidations with Reversible Call Options. IACR Cryptol. ePrint Arch. 2023 (2023)
Stefanos Chaliasos, Marcos Antonios Charalambous, Liyi Zhou, Rafaila Galanopoulou, Arthur Gervais, Dimitris Mitropoulos, Ben Livshits
Smart Contract and DeFi Security: Insights from Tool Evaluations and Practitioner Surveys. CoRR (2023)
Fazl Barez, Paul Bilokon, Arthur Gervais, Nikita Lisitsyn
Exploring the Advantages of Transformers for High-Frequency Trading. CoRR (2023)
Ding Feng, Rupert Hitsch, Kaihua Qin, Arthur Gervais, Roger Wattenhofer, Yaxing Yao, Ye Wang
DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions. FC Workshops (2023)
Aviv Yaish, Kaihua Qin, Liyi Zhou, Aviv Zohar, Arthur Gervais
Speculative Denial-of-Service Attacks in Ethereum. IACR Cryptol. ePrint Arch. 2023 (2023)
Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, Arthur Gervais
The Blockchain Imitation Game. CoRR (2023)
Aviv Yaish, Maya Dotan, Kaihua Qin, Aviv Zohar, Arthur Gervais
Suboptimality in DeFi. IACR Cryptol. ePrint Arch. 2023 (2023)
Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arthur Gervais, Benjamin Livshits, Michele Orrù
zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. IACR Cryptol. ePrint Arch. 2023 (2023)
Ding Feng, Rupert Hitsch, Kaihua Qin, Arthur Gervais, Roger Wattenhofer, Yaxing Yao, Ye Wang
DeFi Auditing: Mechanisms, Effectiveness, and User Perceptions. IACR Cryptol. ePrint Arch. 2023 (2023)
Kaihua Qin, Jens Ernstberger, Liyi Zhou, Philipp Jovanovic, Arthur Gervais
Mitigating Decentralized Finance Liquidations with Reversible Call Options. CoRR (2023)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Attacks. SP (2023)
Isaac David, Liyi Zhou, Kaihua Qin, Dawn Song, Lorenzo Cavallaro, Arthur Gervais
Do you still need a manual smart contract audit? CoRR (2023)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Attacks. IACR Cryptol. ePrint Arch. 2022 (2022)
Kaihua Qin, Liyi Zhou, Arthur Gervais
Quantifying Blockchain Extractable Value: How dark is the forest? IEEE Symposium on Security and Privacy (2022)
Zhipeng Wang, Kaihua Qin, Duc Vu Minh, Arthur Gervais
Speculative Multipliers on DeFi: Quantifying On-Chain Leverage Risks. Financial Cryptography (2022)
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
Finding typing compiler bugs. PLDI (2022)
Liyi Zhou, Xihan Xiong, Jens Ernstberger, Stefanos Chaliasos, Zhipeng Wang, Ye Wang, Kaihua Qin, Roger Wattenhofer, Dawn Song, Arthur Gervais
SoK: Decentralized Finance (DeFi) Incidents. CoRR (2022)
Stefanos Chaliasos, Arthur Gervais, Benjamin Livshits
A study of inline assembly in solidity smart contracts. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Arthur Gervais, Marie Vasek
Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421). Dagstuhl Reports 12 (10) (2022)
Zhipeng Wang, Stefanos Chaliasos, Kaihua Qin, Liyi Zhou, Lifeng Gao, Pascal Berrang, Ben Livshits, Arthur Gervais
On How Zero-Knowledge Proof Blockchain Mixers Improve, and Worsen User Privacy. CoRR (2022)
Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. CoRR (2021)
Kaihua Qin, Liyi Zhou, Arthur Gervais
Quantifying Blockchain Extractable Value: How dark is the forest? CoRR (2021)
Kaihua Qin, Liyi Zhou, Pablo Gamito, Philipp Jovanovic, Arthur Gervais
An Empirical Study of DeFi Liquidations: Incentives, Risks, and Instabilities. CoRR (2021)
Jon Crowcroft, Hamed Haddadi, Arthur Gervais, Tristan Henderson
Proof of Steak. CoRR (2021)
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. Financial Cryptography (1) (2021)
Kaihua Qin, Liyi Zhou, Yaroslav Afonin, Ludovico Lazzaretti, Arthur Gervais
CeFi vs. DeFi - Comparing Centralized to Decentralized Finance. CoRR (2021)
Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc Viet Le, Arthur Gervais
High-Frequency Trading on Decentralized On-Chain Exchanges. IEEE Symposium on Security and Privacy (2021)
Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. Financial Cryptography (1) (2021)
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. CoRR (2021)
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
ConFuzzius: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts. EuroS&P (2021)
Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. IEEE Symposium on Security and Privacy (2021)
Liyi Zhou, Kaihua Qin, Arthur Gervais
A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges. CoRR (2021)
Duc Viet Le, Arthur Gervais
AMR: autonomous coin mixer with privacy preserving reward distribution. AFT (2021)
Kaihua Qin, Liyi Zhou, Pablo Gamito, Philipp Jovanovic, Arthur Gervais
An empirical study of DeFi liquidations: incentives, risks, and instabilities. Internet Measurement Conference (2021)
Ceren Kocaogullar, Arthur Gervais, Benjamin Livshits
Towards Private On-Chain Algorithmic Trading. CoRR (2021)
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. IACR Cryptol. ePrint Arch. 2021 (2021)
Kaihua Qin, Henryk Hadass, Arthur Gervais, Joel Reardon
Applying Private Information Retrieval to Lightweight Bitcoin Clients. CoRR (2020)
Lewis Gudgeon, Pedro Moreno-Sanchez, Stefanie Roos, Patrick McCorry, Arthur Gervais
SoK: Layer-Two Blockchain Protocols. Financial Cryptography (2020)
Kaihua Qin, Liyi Zhou, Benjamin Livshits, Arthur Gervais
Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. CoRR (2020)
Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais, Radu State
Towards Smart Hybrid Fuzzing for Smart Contracts. CoRR (2020)
Simon Janin, Kaihua Qin, Akaki Mamageishvili, Arthur Gervais
FileBounty: Fair Data Exchange. EuroS&P Workshops (2020)
Simon Janin, Kaihua Qin, Akaki Mamageishvili, Arthur Gervais
FileBounty: Fair Data Exchange. CoRR (2020)
Lewis Gudgeon, Daniel Perez, Dominik Harz, Benjamin Livshits, Arthur Gervais
The Decentralized Financial Crisis. CVCBT (2020)
Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc Viet Le, Arthur Gervais
High-Frequency Trading on Decentralized On-Chain Exchanges. CoRR (2020)
Lewis Gudgeon, Daniel Perez, Dominik Harz, Arthur Gervais, Benjamin Livshits
The Decentralized Financial Crisis: Attacking DeFi. CoRR (2020)
Duc Viet Le, Arthur Gervais
AMR: Autonomous Coin Mixer with Privacy Preserving Reward Distribution. CoRR (2020)
Rami Khalil, Arthur Gervais, Guillaume Felley
TEX - A Securely Scalable Trustless Exchange. IACR Cryptol. ePrint Arch. 2019 (2019)
Kaihua Qin, Henryk Hadass, Arthur Gervais, Joel Reardon
Applying Private Information Retrieval to Lightweight Bitcoin Clients. CVCBT (2019)
Lewis Gudgeon, Pedro Moreno-Sanchez, Stefanie Roos, Patrick McCorry, Arthur Gervais
SoK: Off The Chain Transactions. IACR Cryptol. ePrint Arch. 2019 (2019)
Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt
Balance: Dynamic Adjustment of Cryptocurrency Deposits. CCS (2019)
Dominik Harz, Lewis Gudgeon, Arthur Gervais, William J. Knottenbelt
Balance : Dynamic Adjustment of Cryptocurrency Deposits. IACR Cryptol. ePrint Arch. 2019 (2019)
Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt
XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. IEEE Symposium on Security and Privacy (2019)
Rami Khalil, Arthur Gervais
NOCUST - A Non-Custodial 2nd-Layer Financial Intermediary. IACR Cryptol. ePrint Arch. 2018 (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CCS (2018)
Karl Wüst, Arthur Gervais
Do you Need a Blockchain? CVCBT (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CoRR (2018)
Hubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, Srdjan Capkun
TLS-N: Non-repudiation over TLS Enablign Ubiquitous Content Signing. NDSS (2018)
Hubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, Srdjan Capkun
TLS-N: Non-repudiation over TLS Enabling - Ubiquitous Content Signing for Disintermediation. IACR Cryptol. ePrint Arch. 2017 (2017)
Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David M. Sommer, Arthur Gervais, Ari Juels, Srdjan Capkun
ROTE: Rollback Protection for Trusted Execution. USENIX Security Symposium (2017)
Rami Khalil, Arthur Gervais
Revive: Rebalancing Off-Blockchain Payment Networks. CCS (2017)
Karl Wüst, Arthur Gervais
Do you need a Blockchain? IACR Cryptol. ePrint Arch. 2017 (2017)
Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David M. Sommer, Arthur Gervais, Ari Juels, Srdjan Capkun
ROTE: Rollback Protection for Trusted Execution. IACR Cryptol. ePrint Arch. 2017 (2017)
Arthur Gervais, Alexandros Filios, Vincent Lenders, Srdjan Capkun
Quantifying Web Adblocker Privacy. ESORICS (2) (2017)
Rami Khalil, Arthur Gervais
Revive: Rebalancing Off-Blockchain Payment Networks. IACR Cryptol. ePrint Arch. 2017 (2017)
Arthur Gervais, Ghassan O. Karame, Karl Wüst, Vasileios Glykantzis, Hubert Ritzdorf, Srdjan Capkun
On the Security and Performance of Proof of Work Blockchains. CCS (2016)
Arthur Gervais, Hubert Ritzdorf, Mario Lucic, Vincent Lenders, Srdjan Capkun
Quantifying Location Privacy Leakage from Transaction Prices. ESORICS (2) (2016)
Arthur Gervais, Alexandros Filios, Vincent Lenders, Srdjan Capkun
Quantifying Web Adblocker Privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
Arthur Gervais, Ghassan O. Karame, Karl Wüst, Vasileios Glykantzis, Hubert Ritzdorf, Srdjan Capkun
On the Security and Performance of Proof of Work Blockchains. IACR Cryptol. ePrint Arch. 2016 (2016)
Arthur Gervais, Hubert Ritzdorf, Mario Lucic, Srdjan Capkun
Quantifying Location Privacy Leakage from Transaction Prices. IACR Cryptol. ePrint Arch. 2015 (2015)
Arthur Gervais, Hubert Ritzdorf, Ghassan O. Karame, Srdjan Capkun
Tampering with the Delivery of Blocks and Transactions in Bitcoin. IACR Cryptol. ePrint Arch. 2015 (2015)
Arthur Gervais, Hubert Ritzdorf, Ghassan O. Karame, Srdjan Capkun
Tampering with the Delivery of Blocks and Transactions in Bitcoin. CCS (2015)
Ghassan O. Karame, Elli Androulaki, Marc Roeschlin, Arthur Gervais, Srdjan Capkun
Misbehavior in Bitcoin: A Study of Double-Spending and Accountability. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Arthur Gervais, Ghassan O. Karame, Vedran Capkun, Srdjan Capkun
Is Bitcoin a Decentralized Currency? IEEE Secur. Priv. 12 (3) (2014)
Arthur Gervais, Ghassan O. Karame, Damian Gruber, Srdjan Capkun
On the Privacy Provisions of Bloom Filters in Lightweight Bitcoin Clients. IACR Cryptol. ePrint Arch. 2014 (2014)
Arthur Gervais, Srdjan Capkun, Ghassan O. Karame, Damian Gruber
On the privacy provisions of Bloom filters in lightweight bitcoin clients. ACSAC (2014)
Arthur Gervais, Reza Shokri, Adish Singla, Srdjan Capkun, Vincent Lenders
Quantifying Web-Search Privacy. CCS (2014)
Arthur Gervais, Ghassan Karame, Srdjan Capkun, Vedran Capkun
Is Bitcoin a Decentralized Currency? IACR Cryptol. ePrint Arch. 2013 (2013)