A list of papers related with blockchain research
This origin of this list is "The Cyber Smart Economy and Blockchain" in Tsinghua University, proposed by Ke Xu Professor.
- Untangling Blockchain: A Data Processing View of Blockchain Systems [TKDE 2018] [pdf] [intro]
- The Bitcoin Backbone Protocol: Analysis and Applications [EUROCRYPT 2015] [pdf] [intro]
- But Why Does it Work?A Rational Protocol Design Treatment of Bitcoin? [EUROCRYPT 2018] [pdf] [intro]
- The Gap Game[CCS 2018] [pdf] [intro]
- SmartPool: Practical Decentralized Pooled Mining [USENIX Security 2017] [pdf] [intro]
- A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network [IEEE S&P (Oakland) 2020] [pdf] [intro]
- SABRE: Protecting Bitcoin against Routing Attacks [NDSS 2019] [pdf] [intro]
- Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin [CCS 2017] [pdf] [intro]
- Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols’ Security. [IEEE S&P (Oakland) 2019] [pdf] [intro]
- Power Adjusting and Bribery Racing: Novel Mining Attacks in the Bitcoin System. [CCS 2019] [pdf] [intro]
- BitML: A Calculus for Bitcoin Smart Contracts. [CCS 18] [pdf] [intro]
- YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes. [NDSS 2019] [pdf] [intro]
- FASTKITTEN: Practical Smart Contracts on Bitcoin. [USENIX Security 2019] [pdf] [intro]
- Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. [IEEE S&P (Oakland) 2020] [pdf] [intro]
- teether: Gnawing at Ethereum to Automatically Exploit Smart Contracts. [USENIX Security 2019] [pdf] [intro]
- Broken Metre: Attacking Resource Metering in EVM. [NDSS 2020] [pdf] [intro]
- An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses in Ethereum Ecosystem. [USENIX Security 2020] [pdf] [intro]
- TxSpector: Uncovering Attacks in Ethereum from Transactions. [USENIX Security 2020] [pdf] [intro]
- Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks [NDSS 2019] [pdf] [intro]
- TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum. [CCS 2019] [pdf] [intro]
- VerX: Safety Verification of Smart Contracts. [IEEE S&P (Oakland), 2020] [pdf] [intro]
- VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. [IEEE S&P (Oakland), 2020] [pdf]
- EthBMC: A Bounded Model Checker for Smart Contracts. [USENIX Security 2020] [pdf]
- Bitcoin-NG: A Scalable Blockchain Protocol [NSDI 2016] [pdf]
- Algorand: Scaling Byzantine Agreements for Cryptocurrencies. [SOSP 2017] [pdf]
- Prism: Deconstructing the Blockchain to Approach Physical Limits. [CCS 2019] [pdf]
- OHIE: Blockchain Scaling Made Simple. [IEEE S&P (Okland) 2020] [pdf]
- A Decentralized Blockchain with High Throughput and Fast Confirmation. [USENIX ATC 2020] [pdf]
- RapidChain: Scaling Blockchain via Full Sharding [CCS 2019] [pdf]
- Monoxide: Scale Out Blockchain with Asynchronous Consensus Zones [NSDI 2019] [pdf]
- Towards Scaling Blockchain Systems via Sharding. [SIGMOD 2019] [pdf]
- OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding. [IEEE S&P (Okland) 2018] [pdf]
- Erlay: Efficient Transaction Relay for Bitcoin. [CCS 2019] [pdf]
- Graphene: Efficient Interactive Set Reconciliation Applied to Blockchain Propagation. [SIGCOMM 2019] [pdf]
- HyperService: Interoperability and Programmability Across Heterogeneous Blockchains. [CCS 2019] [pdf]
- Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability [NDSS 2019] [pdf]
- Proof-of-Stake Sidechains. [IEEE S&P (Okland) 2019] [pdf]
- High Throughput Cryptocurrency Routing in Payment Channel Networks. [NSDI 2020] [pdf]
- Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks. [CCS 2019] [pdf]
- Perun: Virtual Payment Hubs over Cryptocurrencies. [IEEE S&P (Oakland) 2019] [pdf]
- Balance: Dynamic Adjustment of Cryptocurrency Deposits. [CCS 2019] [pdf]
- XCLAIM: Trustless, Interoperable, Cryptocurrency-Backed Assets. [IEEE S&P (Oakland) 2019] [pdf]
- Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust. [NSDI 2020] [pdf]
- Fine-Grained, Secure and Efficient Data Provenance on Blockchain Systems. [VLDB 2019] [pdf]
- Fine-Grained Replicated State Machines for a Cluster Storage System. [NSDI 2020] [pdf]
- vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases. [SIGMOD 2020] [pdf]
- FalconDB: Blockchain-based Collaborative Database. [SIGMOD 2020] [pdf]
- VerSum: Verifiable Computations over Large Public Logs. [CCS 2014] [pdf]
- DeepChain: Auditable and Privacy-Preserving Deep Learning with Blockchain-based Incentive. [TDSC 2015] [pdf]
- Efficient Publicly Verifiable 2PC over a Blockchain with Applications to Financially-Secure Computations. [CCS 2019] [pdf]
- xJsnark: A Framework for Efficient Verifiable Computation. [IEEE S&P (Okland) 2018] [pdf]
- Bolt: Anonymous Payment Channels for Decentralized Currencies [CCS 2017] [pdf]
- Concurrency and Privacy with Payment-Channel Networks [CCS 2017] [pdf]
- P2P Mixing and Unlinkable Bitcoin Transactions [NDSS 2017] [pdf]
- Remote Side-Channel Attacks on Anonymous Transactions. [USENIX Security 2020] [pdf]
- DIZK: A Distributed Zero Knowledge Proof System [USENIX Security 2018] [pdf]
- Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts [IEEE S&P (Oakland) 2017] [pdf]
- Bulletproofs: Short Proofs for Confidential Transactions and More [IEEE S&P (Oakland) 2018] [pdf]
- BITE: Bitcoin Lightweight Client Privacy using Trusted Execution. [USENIX Security 2019] [pdf]