The Paper List of Blockchain Security Analysis

This space shows a paper list of security analyses of blockchain in seven qualified conferences.

Blockchain Conference

• [Financial Cryptography and Data Security (FC)]
• [ACM Advances on Financial Technologies (AFT)]
• [ACM Economics and Computation (EC)]
• [Tokenomics]
• [Stanford Blockchain Conference (SBC)]
• [IEEE ICBC]
• [Cryptovalley]

Security Conference

• IEEE S&P
• NDSS
• ACM CCS
• USENIX
• Crypto
• EuroCrypt
• AsiaCrypt

Distributed Computing Conference

• PODC

---

IEEE Symposium on Security and Privacy

CFP: Every month

2019

• Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash?, Yujin Kwon et al. [pdf]
• Redactable Blockchain in the Permissionless Setting
• Proof-of-Stake Sidechains
• Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake
• Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols' Security

2018

• Doubly-efficient zkSNARKs without trusted setup

2017

• Hijacking Bitcoin: Routing Attacks on Cryptocurrencies
• Catena: Efficient Non-equivocation via Bitcoin
• IKP: Turning a PKI Around with Decentralized Automated Incentives

2016

• Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

2015

• SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies
• Bitcoin over Tor isn't a Good Idea
• The Miner's Dilemma

NDSS Symposium

CFP: August 30, 2019 - September 13, 2019

2019

• SABRE: Protecting Bitcoin against Routing Attacks
• Privacy-preserving Multi-hop Locks for Blockchain Scalability and Interoperability
• Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based
• YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes
• Seth: Protecting Existing Smart Contracts Against Re-Entrancy Attacks

2018

• ZEUS: Analyzing Safety of Smart Contracts
• Chainspace: A Sharded Smart Contracts Platform
• Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions
• TLS-N: Non-repudiation over TLS Enablign Ubiquitous Content Signing

2017

• TumbleBit: An Untrusted Bitcoin-Compatible Anonymous Payment Hub
• P2P Mixing and Unlinkable Bitcoin Transactions

2016

• Centrally Banked Cryptocurrencies
• Equihash: Asymmetric Proof-of-Work Based on the Generalized Birthday Problem

2015

• -

ACM CCS

CFP: August 30, 2019 - September 13, 2019

2019

• Not Announced Yet (Written in June, 2019)

2018

• A better method to analyze blockchain consistency
• Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability
• RapidChain: Fast Blockchain Consensus via Full Sharding
• BitML: a calculus for Bitcoin smart contracts

2017

• Be Selfish and Avoid Dilemmas: Fork After Withholding (FAW) Attacks on Bitcoin
• Revive: Rebalancing Off-Blockchain Payment Networks
• Practical UC-Secure Delegatable Credentials with Attributes and Their Application to Blockchain

2016

• On the instability of Bitcoin without the block reward
• A Secure Sharding Protocol For Open Blockchains
• On the Security and Performance of Proof of Work Blockchains

2015

• How to Use Bitcoin to Play Decentralized Poker
• Micropayments for Decentralized Currencies
• Liar, Liar, Coins on Fire!: Penalizing Equivocation By Loss of Bitcoins
• Traitor Deterring Schemes: Using Bitcoin as Collateral for Digital Content

USENIX

CFP: Fall Quater (November 15, 2019), Winter Quater (Febrary 15, 2020)

2019

• FastKitten: Practical Smart Contracts on Bitcoin
• BITE: Bitcoin Lightweight Client Privacy using Trusted Execution

2018

• teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts
• An Empirical Analysis of Anonymity in Zcash
• DIZK: A Distributed Zero Knowledge Proof System
• Erays: Reverse Engineering Ethereum's Opaque Smart Contracts

2017

• SmartPool: Practical Decentralized Pooled Mining
• REM: Resource-Efficient Mining for Blockchains

2016

• Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing
• Blockstack: A Global Naming and Storage System Secured by Blockchains

2015

• Eclipse Attacks on Bitcoin’s Peer-to-Peer Network

Crypto

CFP: Febrary 2020 (Expected)

2019

• Not Announced Yet (Written in June, 2019)

2018

• Proofs of Work From Worst-Case Assumptions

2017

• The Bitcoin Backbone Protocol with Chains of Variable Difficulty
• Bitcoin as a Transaction Ledger: A Composable Treatment
• Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
• Time-Memory Tradeoff Attacks on the MTP Proof-of-Work Scheme

2016

• -

2015

• PoW-Based Distributed Cryptography with no Trusted Setup
• Proofs of Space

EuroCrypt

CFP: October 2019 (Expected)

2019

• Multi-Party Virtual State Channels
• Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble
• Proof-of-Stake Protocols for Privacy-Aware Blockchains
• Consensus through Herding

2018

• Thunderella: Blockchains with Optimistic Instant Confirmation

2017

• Analysis of the Blockchain Protocol in Asynchronous Networks

2016

• On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model

2015

• The Bitcoin Backbone Protocol: Analysis and Applications

AsiaCrypt

CFP: May 2020 (Expected)

2019

• Not Announced Yet (Written in June, 2019)

2018

• Compact Multi-Signatures for Smaller Blockchains
• Security of the Blockchain against Long Delay Attack

2017

• Beyond Hellman's Time-Memory Trade-Offs with Applications to Proofs of Space
• The Sleepy Model of Consensus
• Instantaneous Decentralized Poker

2016

• Indistinguishable Proofs of Work or Knowledge

2015

• -