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 2021Show all

8 papers · 1 filter

cs.CR2021

Proof of Steak

Jon Crowcroft, Hamed Haddadi, Arthur Gervais +1

We introduce Proof-of-Steak (PoS) as a fundamental net-zero block generation technique, often accompanied by Non-Frangipane Tokens. Genesis cut is gradually heated and minted (usin…

cs.CR2021★ 2 cited

Towards Private On-Chain Algorithmic Trading

Ceren Kocaoğullar, Arthur Gervais, Benjamin Livshits

While quantitative automation related to trading crypto-assets such as ERC-20 tokens has become relatively commonplace, with services such as 3Commas and Shrimpy offering user-frie…

cs.CR2021★ 26 cited

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

Liyi Zhou, Kaihua Qin, Arthur Gervais

The asset trading volume on blockchain-based exchanges (DEX) increased substantially since the advent of Automated Market Makers (AMM). Yet, AMMs and their forks compete on the sam…

q-fin.GN2021★ 10 cited

CeFi vs. DeFi -- Comparing Centralized to Decentralized Finance

Kaihua Qin, Liyi Zhou, Yaroslav Afonin +2

To non-experts, the traditional Centralized Finance (CeFi) ecosystem may seem obscure, because users are typically not aware of the underlying rules or agreements of financial asse…

q-fin.GN2021★ 1 cited

An Empirical Study of DeFi Liquidations: Incentives, Risks, and Instabilities

Kaihua Qin, Liyi Zhou, Pablo Gamito +2

Financial speculators often seek to increase their potential gains with leverage. Debt is a popular form of leverage, and with over 39.88B USD of total value locked (TVL), the Dece…

cs.CR2021★ 5 cited

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

Liyi Zhou, Kaihua Qin, Antoine Cully +2

In this paper, we investigate two methods that allow us to automatically create profitable DeFi trades, one well-suited to arbitrage and the other applicable to more complicated se…

cs.CR2021★ 1 cited

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

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

In recent years, Ethereum gained tremendously in popularity, growing from a daily transaction average of 10K in January 2016 to an average of 500K in January 2020. Similarly, smart…

cs.CR2021★ 33 cited

Quantifying Blockchain Extractable Value: How dark is the forest?

Kaihua Qin, Liyi Zhou, Arthur Gervais

Permissionless blockchains such as Bitcoin have excelled at financial services. Yet, opportunistic traders extract monetary value from the mesh of decentralized finance (DeFi) smar…