activity
20182026
most citedSecurify: Practical Security Analysis of Smart Contracts

128 citations · 417 across the 26 of their papers we have counts for

collaborators
Showing 2020Show all

7 papers · 1 filter

cs.CR2020★ 5 cited

AMR:Autonomous Coin Mixer with Privacy Preserving Reward Distribution

Duc V. Le, Arthur Gervais

It is well known that users on open blockchains are tracked by an industry providing services to governments, law enforcement, secret services, and alike. While most blockchains do…

cs.CR2020★ 29 cited

High-Frequency Trading on Decentralized On-Chain Exchanges

Liyi Zhou, Kaihua Qin, Christof Ferreira Torres +2

Decentralized exchanges (DEXs) allow parties to participate in financial markets while retaining full custody of their funds. However, the transparency of blockchain-based DEX in c…

cs.CR2020★ 21 cited

Applying Private Information Retrieval to Lightweight Bitcoin Clients

Kaihua Qin, Henryk Hadass, Arthur Gervais +1

Lightweight Bitcoin clients execute a Simple Payment Verification (SPV) protocol to verify the validity of transactions related to a particular user. Currently, lightweight clients…

cs.CR2020

FileBounty: Fair Data Exchange

Simon Janin, Kaihua Qin, Akaki Mamageishvili +1

Digital contents are typically sold online through centralized and custodian marketplaces, which requires the trading partners to trust a central entity. We present FileBounty, a f…

cs.CR2020

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

Christof Ferreira Torres, Antonio Ken Iannillo, Arthur Gervais +1

Smart contracts are Turing-complete programs that are executed across a blockchain. Unlike traditional programs, once deployed, they cannot be modified. As smart contracts carry mo…

cs.CR2020★ 41 cited

Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit

Kaihua Qin, Liyi Zhou, Benjamin Livshits +1

Credit allows a lender to loan out surplus capital to a borrower. In the traditional economy, credit bears the risk that the borrower may default on its debt, the lender hence requ…

cs.CR2020

The Decentralized Financial Crisis

Lewis Gudgeon, Daniel Perez, Dominik Harz +2

The Global Financial Crisis of 2008, caused by the accumulation of excessive financial risk, inspired Satoshi Nakamoto to create Bitcoin. Now, more than ten years later, Decentrali…