Blockchain Papers

Blockchain

Academic Blockchain Papers

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

Table of Listed Journals

Key Words: Topics: System Architecture, Consensus(Proof-of-X and BFT), Layer 2 (Off-chain, Payment Networks, Sidechain, Crosschain), Network, Smart Contracts, Application (Trasactions), Cryptograph, Storage (light client); Contents: privacy, security, economics (incentive).

Conferences

CRYPTO

The Bitcoin Backbone Protocol with Chains of Variable Difficulty. Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. Crypto ’17.

Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol. Bernardo D, Gazi P, Kiayias A, Russell A. Crypto ’17.

Order-Fairness for Byzantine Consensus Mahimna Kelkar,Fan Zhang,Ari Juels. Crypto ’20.

Eurosys

[Consensus] Hybrids on Steroids: SGX-Based High Performance BFT. Johannes Behl, Tobias Distler, Rüdiger Kapitza. EuroSys’17.

[System] Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. Elli Androulaki, Artem Barger, Vita Bortnikov, Christian Cachin, Konstantinos Christidis, Angelo De Caro, David Enyeart, Christopher Ferris, Gennady Laventman, Yacov Manevich, Srinivasan Muralidharan, Chet Murthy, Binh Nguyen, Manish Sethi, Gari Singh, Keith Smith, Alessandro Sorniotti, Chrysoula Stathakopoulou, Marko Vukolić, Sharon Weed Cocco, Jason Yellick. EuroSys’18.

EUROCRYPT

[Consensus-PoW] The Bitcoin Backbone Protocol: Analysis and Applications. Garay J, Kiayias A, Leonardos N. EUROCRYPT ’15.

[Consensus-PoW] Analysis of the Blockchain Protocol in Asynchronous Networks. Pass R, Seeman L, abhi shelat. EUROCRYPT ’17

[Consensus]Thunderella: Blockchains with Optimistic Instant Confirmation. Rafael Pass, Elaine Shi. EUROCRYPT ’18.

[Consensus-PoS]Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake blockchain. Bernardo David, Peter Gaži, Aggelos Kiayias, Alexander Russell. EUROCRYPT ’18.

[Consensus]Consensus through Herding. T-H. Hubert Chan Rafael Pass Elaine Shi. EUROCRYPT ’19.

[Consensus-PoS]Proof-of-Stake Protocols for Privacy-Aware Blockchains. Chaya Ganesh Claudio Orlandi Daniel Tschudi. EUROCRYPT ’19.

[Payment Channel]Multi-Party Virtual State Channels. Stefan Dziembowski Lisa Eckey Sebastian Faust Julia Hesse Kristina Hostáková. EUROCRYPT ’19.

[Cryptography-Privacy]Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble. Georg Fuchsbauer Michele Orrù Yannick Seurin. EUROCRYPT ’19.

USENIX Security

[Network-security] Eclipse Attacks on Bitcoin’s Peer-to-Peer Network. Heilman E, Kendler A, Zohar A, Goldberg S. USENIX ’15 Security Symposium.

[Consensus-PoW] Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. Kogias EK, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. USENIX ’16 Security Symposium.

[Mining]SmartPool: Practical Decentralized Pooled Mining. Loi Luu, Yaron Velner, Jason Teutsch, TrueBit Foundation; Prateek Saxena.USENIX ’17 Security Symposium.

[Mining]REM: Resource-Efficient Mining for Blockchains. Fan Zhang and Ittay Eyal and Robert Escriva and Ari Juels and Robbert van Renesse. USENIX ’17 Security Symposium.

[Smart contract]teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts.Johannes Krupp and Christian Rossow. USENIX ’18 Security Symposium.

[Anonymity Privacy]An Empirical Analysis of Anonymity in Zcash. George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn. USENIX ’18 Security Symposium.

[Smart contract]Arbitrum: Scalable, private smart contracts. Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten. USENIX ’18 Security Symposium.

[Transaction Analysis]Tracing Transactions Across Cryptocurrency Ledgers. Haaroon Yousaf, George Kappos, and Sarah Meiklejohn. USENIX ’19 Security Symposium.

[Consensus]StrongChain: Transparent and Collaborative Proof-of-Work Consensus. Pawel Szalachowski, Daniël Reijsbergen, and Ivan Homoliak, Siwei Sun. USENIX ’19 Security Symposium.

[Privacy]BITE: Bitcoin Lightweight Client Privacy using Trusted Execution. Sinisa Matetic, Karl Wüst, Moritz Schneider, and Kari Kostiainen, Ghassan Karame, Srdjan Capkun. USENIX ’19 Security Symposium.

[Smart Contract]FastKitten: Practical Smart Contracts on Bitcoin. Poulami Das, Lisa Eckey, Tommaso Frassetto, David Gens, Kristina Hostáková, Patrick Jauernig, Sebastian Faust, and Ahmad-Reza Sadeghi. USENIX ’19 Security Symposium.

[Transaction Analysis]BlockSci: Design and applications of a blockchain analysis platform. Harry Kalodner, Malte Möser, and Kevin Lee,Steven Goldfeder, Martin Plattner, Alishah Chator, Arvind Narayanan. USENIX ’20 Security Symposium.

[SideChain]Remote Side-Channel Attacks on Anonymous Transaction. Florian Tramer and Dan Boneh, Kenny Paterson. USENIX ’20 Security Symposium.

[Smart Contract]ETHBMC: A Bounded Model Checker for Smart Contracts. Joel Frank, Cornelius Aschermann, and Thorsten Holz. USENIX ’20 Security Symposium.

[Smart Contract]TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, and Zhiqiang Lin. USENIX ’20 Security Symposium.

[Smart Contract]An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses in Ethereum Ecosystem. Shunfan Zhou, Zhemin Yang, and Jie Xiang, Yinzhi Cao,Min Yang and Yuan Zhang. USENIX ’20 Security Symposium.

[Smart Contract]EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. Michael Rodler, Wenting Li and Ghassan O. Karame, Lucas Davi. USENIX ’21 Security Symposium.

[Application]Evil Under the Sun: Understanding and Discovering Attacks on Ethereum Decentralized Applications. Liya Su, Xinyue Shen, Xiangyu Du, Xiaojing Liao, XiaoFeng Wang, and Luyi Xing, Baoxu Liu. USENIX ’21 Security Symposium.

[Smart Contract]Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited Daniel Perez and Ben Livshits. USENIX ’21 Security Symposium.

S&P

[Privacy] Zerocoin: Anonymous distributed e-cash from bitcoin. Miers I, Garman C, Green M, Rubin AD. S&P ’13.

[Consensus-PoW] Permacoin: Repurposing bitcoin work for data preservation. Miller A, Juels A, Shi E, Parno B, Katz J. Permacoin. S&P ’14.

[Privacy] Zerocash: Decentralized anonymous payments from bitcoin. Sasson EB, Chiesa A, Garman C, Green M, Miers I, Tromer E, Virza M. S&P ’14.

[Consensus-PoW-Mining]The Miner’s Dilemma. Ittay Eyal. S&P ’15

[General] SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. Bonneau J, Miller A, Clark J, Narayanan A, Kroll JA, Felten EW. S&P ’15

[Privacy] Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. Kosba A, Miller A, Shi E, Wen Z, Papamanthou C. S&P ’16

[System] OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding. E. Kokoris-Kogias and P. Jovanovic and L. Gasser and N. Gailly and E. Syta and B. Ford. S&P ’18

[Sidechain]Proof-of-Stake Sidechains. Peter Gaži, Aggelos Kiayias, Dionysis Zindros. IEEE S&P ’19.

[Payment Networks] Perun: Virtual payment hubs over cryptocurrencies Dziembowski S, Eckey L, Faust S, Malinowski D. IEEE S&P ’19.

[Consensus-PoW] Lay Down the Common Metrics: Evaluating Proof-of-Work Consensus Protocols’ Security Ren Zhang, Bart Preneel. IEEE S&P ’19.

[Consensus]Redactable Blockchain in the Permissionless Setting. Dominic Deuber, Bernardo Magri, Sri Aravinda Krishnan Thyagarajan. IEEE S&P ’19.

[Consensus-Privacy]Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. Thomas Kerber and Markulf Kohlweiss and Aggelos Kiayias and Vassilis Zikas. IEEE S&P ’19.

[Scalaility]XCLAIM: Decentralized, Interoperable, Cryptocurrency-Backed Assets. Alexei Zamyatin, Dominik Harz, Joshua Lind, Panayiotis Panayiotou, Arthur Gervais, William J. Knottenbelt. IEEE S&P ’19.

[Consensus-PoW]OHIE: Blockchain Scaling Made Simple. Haifeng Yu, Ivica Nikolic, Ruomu Hou, and Prateek Saxena. IEEE S&P ’20.

[Smart Contract]VerX: Safety Verification of Smart Contracts. Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev. IEEE S&P ’20.

[Smart Contract]VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts. Sunbeom So, Myungho Lee, Jisu Park, Heejo Lee, Hakjoo Oh. IEEE S&P ’20.

[Smart Contract]Executable Operational Semantics of Solidity. Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan, Yang Liu, Jun Sun. IEEE S&P ’20.

[Consensus]Sync HotStuff: Simple and Practical Synchronous State Machine Replication. Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin. IEEE S&P ’20.

[Application]Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability. Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, Ari Juels. IEEE S&P ’20.

[Application]FlyClient: Super-Light Clients for Cryptocurrencies. Benedikt Bünz, Lucianna Kiffer, Loi Luu, Mahdi Zamani. IEEE S&P ’20.

[Exchange]High-Frequency Trading on Decentralized On-Chain Exchanges Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc V Le, Arthur Gervais, Tyler Crain, Christopher Natoli, Vincent Gramoli. IEEE S&P ’21.

[Payment]A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei. IEEE S&P ’21.

[Consensus]Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma Joachim Neu, Ertem Nusret Tas, David Tse. IEEE S&P ’21.

[Sidechain]MAD-HTLC: Because HTLC is Crazy-Cheap to Attack Itay Tsabary, Matan Yechieli, Alex Manuskin, Ittay Eyal. IEEE S&P ’21.

[PoS]On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols Varun Madathil, Alessandra Scafuro, Kartik Nayak, Markulf Kohlweiss. IEEE S&P ’21.

[Defi]On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, Arthur Gervais. IEEE S&P ’21.

[Smart contract]SGUARD: Smart Contracts Made Vulnerability-Free Long H. Pham, Jun Sun, Tai Duy Nguyen. IEEE S&P ’21.

[Consensus]Red Belly: A Secure, Fair and Scalable Open Blockchain Tyler Crain, Christopher Natoli, Vincent Gramoli. IEEE S&P ’21.

Sigmetric&Performance

[Network]Stability and Scalability of Blockchain Systems. Aditya Gopalan, Abishek Sankararaman, Anwar Walid, Sriram Vishwanath. Sigmetric ’20.

[Layer-2]Privacy-Utility Tradeoffs in Routing Cryptocurrency over Payment Channel Networks. Weizhao Tang, Weina Wang, Giulia Fanti, Sewoong Oh. Sigmetric ’20.

[Network]Understanding (Mis)Behavior on the EOSIO Blockchain. Yuheng Huang, Haoyu Wang, Lei Wu, Gareth Tyson, Xiapu Luo, Run Zhang, Xuanzhe Liu, Gang Huang, Xuxian Jiang. Sigmetric ’20.

[Incentive]Incentive Analysis of Bitcoin-NG, Revisited.Jianyu Niu, Ziyu Wang, Fangyu Gai and Chen Feng. Performance ’20.

[Transactions]Tracking Counterfeit Cryptocurrency End-to-end Bingyu Gao, Haoyu Wang, Pengcheng Xia, Siwei Wu, Yajin Zhou, Xiapu Luo, Gareth Tyson. Sigmetric ’21.

NDSS

[Economic-Smart Contracts] “Zeus”: Analyzing Safety of Smart Contracts. Kalra S, Goel S, Dhawan M, Sharma S. NDSS ’18.

[System Design]Chainspace: A Sharded Smart Contracts Platform. Mustafa Al-Bassam, Alberto Sonnino, Shehar Bano, Dave Hrycyszyn, and George Danezis. NDSS ’18.

[off-chain]Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions. Stefanie Roos, Pedro Moreno-Sanchez, Aniket Kate, and Ian Goldberg. NDSS ’18.

[Network]SABRE: Protecting Bitcoin against Routing Attacks. Maria Apostolaki, Gian Marti, Jan Müller, and Laurent Vanbever. NDSS ’19.

[Smart Contract]Seth: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. Michael Rodler, Wenting Li and Ghassan Karame, Lucas Davi. NDSS ’19.

[Smart Contract]YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes. Sourav Das, Vinay Joseph Ribeiro, and Abhijeet Anand. NDSS ’19.

[Cryptograph]Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based. David Derler, Kai Samelin, Daniel Slamanig and Christoph Striecks. NDSS ’19.

[off-Chain]Privacy-preserving Multi-hop Locks for Blockchain Scalability and Interoperability. Giulio Malavolta, Pedro Moreno Sanchez, Clara Schneidewind and Matteo Maffei, Aniket Kate. NDSS ’19.

[Consensus-PoW]Bobtail: Improved Blockchain Security with Low-Variance Mining. George Bissias and Brian N. Levine. NDSS ’20.

[Consensus-PoS]The Attack of the Clones Against Proof-of-Authority. Parinya Ekparinya, Vincent Gramoli,Guillaume Jourjon. NDSS ’20.

[Layer2]Snappy: Fast On-chain Payments with Practical Collaterals Vasilios Mavroudis,Karl Wüst, Aritra Dhar, Kari Kostiainen, and Srdjan Capkun. NDSS ’20.

[Smart Contract]Broken Metre: Attacking Resource Metering in EVM. Daniel Perez, and Benjamin Livshits. NDSS ’20.

[Smart Contract]SODA: A Generic Online Detection Framework for Smart Contracts. Ting Chen, Rong Cao, Ting Li, Xiapu Luo, Guofei Gu, Yufei Zhang, Zhou Liao, Hang Zhu, Gang Chen, Zheyuan He, Yuxing Tang, Xiaodong Lin, and Xiaosong Zhang. NDSS ’20.

[Smart Contract]Bitcontracts: Supporting Smart Contracts in Legacy Blockchains. Karl Wüst, Loris Diana, Kari Kostiainen, Ghassan Karame, Sinisa Matetic, Srdjan Capkun (ETH Zurich). NDSS ’21.

[Mining Attack]SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. Charlie Hou, Mingxun Zhou, Yan Ji and Phil Daian, Florian Tramèr, Giulia Fanti, Ari Juels. NDSS ’21.

[Network Attack]As Strong As Its Weakest Link: How to Break Blockchain DApps at RPC Service. Kai Li, Jiaqi Chen, Xianghong Liu, and Yuzhe Tang, XiaoFeng Wang, Xiapu Luo. NDSS ’21.

[Consensus-PoS]ProPoS: A Probabilistic Proof-of-Stake Protocol. Daniel Reijsbergen, Pawel Szalachowski, Junming Ke, Zengpeng Li, and Jianying Zhou. NDSS ’21.

ICSE

[Smart Contract] Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts. T Durieux, JF Ferreira, R Abreu, P Cruz. ICSE ‘2020

[Smart Contract] sFuzz-An Efficient Adaptive Fuzzer for Solidity Smart Contracts. TD Nguyen, LH Pham, J Sun, Y Lin, QT Minh. ICSE ‘2020

SOSP

[Consensus] Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich. SOSP’17

[Payment Networks] Teechain: A Secure Payment Network with Asynchronous Blockchain Access. Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Peter Pietzuch, Emin Gun Sirer. SOSP’19

[Consensus] Fast and Secure Global Payments with Stellar. Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eliezer Gafni, Jonathan Jove, Rafał Malinowski, Jed McCaleb. SOSP’19

[Consensus] Notary: A Device for Secure Transaction Approval. Anish Athalye, Adam Belay, Frans Kaashoek, Robert Morris, Nickolai Zeldovich. SOSP’19

[Database] Basil: Breaking up BFT with ACID (transactions). Florian Suri-Payer (Cornell University), Matthew Burke (Cornell University), Yunhao Zhang (Cornell University), Zheng Wang (Cornell University), Lorenzo Alvisi (Cornell University), and Natacha Crooks (UC Berkeley). SOSP’21

[Network] Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks. Ji Qi (The University of Hong Kong), Xusheng Chen (The University of Hong Kong), Yunpeng Jiang (The University of Hong Kong), Jianyu Jiang (The University of Hong Kong), Tianxiang Shen (The University of Hong Kong), Shixiong Zhao (The University of Hong Kong), Sen Wang (Huawei Technologies Co., Ltd.), Gong Zhang (Huawei Technologies Co., Ltd.), Li Chen (Huawei Technologies Co., Ltd.), Man Ho Au (The University of Hong Kong), and Heming Cui (The University of Hong Kong). SOSP’21

[Consensus] Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. Ray Neiheiser (INESC-ID, IST, U. Lisboa and UFSC/DAS), Miguel Matos (INESC-ID, IST, U. Lisboa), and Luís Rodrigues (INESC-ID, IST, U. Lisboa). SOSP’21

[Smart Contract] Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. Yang Chen (Microsoft Research), Zhongxin Guo (Microsoft Research), Runhuai Li (Zhejiang University and Microsoft Research), Shuo Chen (Microsoft Research), Lidong Zhou (Microsoft Research), Yajin Zhou (Zhejiang University), and Xian Zhang (Microsoft Research). SOSP’21

[Consensus] Rabia: Simplifying State-Machine Replication Through Randomization. Haochen Pan (Boston College), Jesse Tuglu (Boston College), Neo Zhou (Boston College), Tianshu Wang (Boston College), Yicheng Shen (Boston College), Xiong Zheng (UT Austin), Joseph Tassarotti (Boston College), Lewis Tseng (Boston College), Roberto Palmieri (Lehigh University). SOSP’21

VLDB

[Storage] ForkBase: An Efficient Storage Engine for Blockchain and Forkable Applications. Sheng Wang, Tien Tuan Anh Dinh, Qian Lin, Zhongle Xie, Meihui Zhang, Qingchao Cai, Gang Chen, Beng Chin Ooi, Pingcheng Rua. VLDB’18.

[Privacy] A Demonstration of Sterling: A Privacy-Preserving Data Marketplace. Nick Hynes1, David Dao, David Yan, Raymond Cheng, Dawn Song. VLDB’19.

[Application] CAPER: A Cross-Application Permissioned Blockchain. Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi. VLDB’19.

[Application] BlockchainDB – A Shared Database on Blockchains. Muhammad El-Hindi, Carsten Binnig, Arvind Arasu, Donald Kossmann, Ravi Ramamurthy. VLDB’19.

[Provenance] Fine-Grained, Secure and Efficient Data Provenance on Blockchain Systems. Pingcheng Ruan, Gang Chen, Tien Tuan Anh Dinh, Qian Lin, Beng Chin Ooi, Meihui Zhang. VLDB’19.

[Application] Blockchain Meets Database: Design and Implementation of a Blockchain Relational Database. Senthil Nathan, Chander Govindarajan, Adarsh Saraf, Manish Sethi, and Praveen Jayachandran. VLDB’19.

[Consensus] FireLedger: A High Throughput Blockchain Consensus Protocol. Yehonatan Buchnik, and Roy Friedman. VLDB’20.

EuroS&P

[Smart Contract]Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts. Raymond Cheng, Fan Zhang, Jernej Kos, Warren He, Nicholas Hynes, Noah Johnson, Ari Juels, Andrew Miller, Dawn Song. EuroS&P ’19.

[Random Beacons]Fully Distributed Verifiable Random Functions and their Application to Decentralised Random Beacons. David Galindo, Jia Liu, Mihai Ordean, Jin-Mann Wong. EuroS&P ’21.

SRDS

[Consensus] Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains. Signe Rüsch, Rüdiger Kapitza and Kai Bleeke. SRDS ’19.

[Application] Blockchain-based Metadata Protection for Archival Systems. Arnaud L’Hutereau, Dorian Burihabwa, Pascal Felber, Hugues Mercier and Valerio Schiavoni. SRDS ’19.

[Application] Trusted Computing meets Blockchain: Rollback Attacks and a Solution for Hyperledger Fabric. Marcus Brandenburger, Christian Cachin, Rüdiger Kapitza and Alessandro Sorniotti. SRDS ’19.

[Application] NF-Crowd: Nearly-free Blockchain-based Crowdsourcing. Chao Li, Balaji Palanisamy, Runhua Xu, Jian Wang, Jiqiang Liu. SRDS ’20.

[Query]An Efficient Query Scheme for Hybrid Storage Blockchains Based on Merkle Semantic Trie. Qingqi Pei, Enyuan Zhou, Yang Xiao, Deyu Zhang, Dongxiao Zhao. SRDS ’20.

[Smart contract]Protect Your Smart Contract Against Unfair Payment. Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen. SRDS ’20.

[Consensus] Threat Adaptive Byzantine Fault Tolerant State-Machine Replication. Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp and Paulo Esteves-Verissimo. SRDS ’21.

[Consensus] Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs. Chrysoula Stathakopoulou, Signe Rüsch, Marcus Brandenburger and Marko Vukolic. SRDS ’21.

[Consensus] How to Trust Strangers: Composition of Byzantine Quorum Systems. Orestis Alpos, Christian Cachin and Luca Zanolini. SRDS ’21.

[Consensus] Making Reads in BFT State Machine Replication Fast, Linearizable, and Live. Christian Berger, Hans P. Reiser and Alysson Bessani. SRDS ’21.

[Provenance] Vassago: Efficient and Authenticated Provenance Query on Multiple Blockchains. Rui Han, Jiang Xiao, Xiaohai Dai, Shijie Zhang, Yi Sun, Baochun Li and Hai Jin. SRDS ’21.

PODC

[Consensus-PoW] FruitChains: A Fair Blockchain.Rafael Pass, Elaine Shi. PODC’17

[Smart Contracts] Adding Concurrency to Smart Contracts. Maurice Herlihy. PODC’17

[Sidechain] Atomic Cross-Chain Swaps. Maurice Herlihy. PODC’18

[Consessus] Brief Announcement: Sustainable Blockchains through Proof of eXercise. Ali Shoker. PODC’18

[Consensus] The Consensus Number of a Cryptocurrency. R. Guerraoui, P. Kuznetsov, M. Monti, M. Pavlovic, D. Seredinschi. PODC’19

[Consensus-BFT] Communication Complexity of Byzantine Agreement, Revisited. I. Abraham, T. Chan, D. Dolev, K. Nayak, R. Pass, L. Ren, E. Shi. PODC’19

[Consensus-BFT] Exact Byzantine Consensus on Undirected Graphs under Local Broadcast Model. M. Khan, S. Naqvi, N. Vaidya. PODC’19

[Consensus-BFT] Asymptotically Optimal Validated Asynchronous Byzantine Agreement. I. Abraham, D. Malkhi, A. Spiegelman. PODC’19

[Consensus-BFT] HotStuff: BFT Consensus with Linearity and Responsiveness. M. Yin, I. Abraham, G. Gueta, D. Malkhi, M. Reiter. PODC’19

CCS

[Consensus-PoW-Mining] Double-Spending Fast Payments in Bitcoin. Karame, Ghassan O. and Androulaki, Elli and Capkun, Srdjan. CCS ’12.

[Privacy] Deanonymisation of Clients in Bitcoin P2P Network. Biryukov A, Khovratovich D, Pustogarov I. CCS ’14.

[Privacy] Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges. Dagher GG, Bünz B, Bonneau J, Clark J, Boneh D. CCS ’15

[Economic] Demystifying incentives in the consensus computer. Loi Luu, Jason Teutsch, Raghav Kulkarni and Prateek Saxena. CCS ’15

[PoW-Network] Tampering with the Delivery of Blocks and Transactions in Bitcoin.Gervais, Arthur and Ritzdorf, Hubert and Karame, Ghassan O. and Capkun, Srdjan. CCS ’15

[Consensus-PoW-Mining] Non-outsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz. CCS ’15

[System] The Honey Badger of BFT Protocols. Miller A, Xia Y, Croman K, Shi E, Song D. CCS ’16.

[Smart Contracts] Making Smart Contracts Smarter. Luu L, Chu DH, Olickel H, Saxena P, Hobor A. CCS ’16.

[Economic] On the instability of Bitcoin without the block reward. Carlsten M, Kalodner H, Weinberg SM, Narayanan A. CCS ’16.

[Smart Contracts] Town crier: An authenticated data feed for smart contracts. Zhang F, Cecchetti E, Croman K, Juels A, Shi E. CCS ’16.

[Privacy] On the Security and Performance of Proof of Work Blockchains. Gervais A, Karame GO, Karl Wüst, Glykantzis V, Ritzdorf H, Capkun S. CCS ’16.

[System] A Secure Sharding Protocol For Open Blockchains. Loi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena. CCS ’16.

[Payment Networks] Revive: Rebalancing Off-Blockchain Payment Networks. Khalil, R., & Gervais, A. CCS ’17.

[Economic] The Gap Game. Itay Tsabary, Ittay Eyal. CCS ’18.

[Payment Networks] General State Channel Networks Dziembowski S, Faust S, Hostáková K. CCS ’18.

[System Design] FairSwap: How to fairly exchange digital goods Dziembowski S, Faust S, Eckey L. CCS ’18.

[System] RapidChain: Scaling Blockchain via Full Sharding. Mahdi Zamani, Mahnush Movahedi, Mariana Raykova. CCS ’18.

[Consensus] BEAT: Asynchronous BFT Made Practical. Sisi Duan, Michael K. Reiter, Haibin Zhang. CCS ’18.

[Consensus Applcation] Efficient Publicly Verifiable 2PC over a Blockchain with Applications to Financially-Secure Computations. Ruiyu Zhu, Changchang Ding, Yan Huang. CCS ’19.

[Network] Erlay: Efficient Transaction Relay for Bitcoin. Gleb Naumenko, Gregory Maxwell, Pieter Wuille, Alexandra (Sasha) Fedorova, Ivan Beschastnikh. CCS ’19.

[Sidechain] HyperService: Interoperability and Programmability across Heterogeneous Blockchains. Zhuotao Liu, Yangxi Xiang,Jian Shi, Peng Gao, Haoyu Wang, Xusheng Xiao, Bihan Wen, Yih-Chun Hu. CCS ’19.

[Cryptography]MatRiCT: Efficient, Scalable and Post-Quantum Blockchain Confidential Transactions Protocol. Muhammed F. Esgin, Raymond K. Zhao, Ron Steinfeld, Joseph K. Liu, Dongxi Liu. CCS ’19.

[Payment]Omniring: Scaling Up Private Payments Without Trusted Setup — Formal Foundations and a Construction of Ring Confidential Transactions with Log-size Proofs. Russell W. F. Lai, Viktoria Ronge, Tim Ruffing, Dominique Schröder, Sri Aravinda Krishnan Thyagarajan, Jiafan Wang. CCS ’19.

[Consensus]Prism: Deconstructing the Blockchain to Approach Physical Limits. Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, Pramod Viswanath. CCS ’19.

[Smart contract]Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin Vechev. CCS ’19.

[Smart contract]TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum. Ting Chen, Xiapu Luo, Ting Wang, Rong Cao. CCS ’19.

[Ledger]SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers. Roopa Vishwanathan, Gaurav Panwar, Satyajayant Misra, Austin Bos. CCS ’19.

[Payment Networks]Atomic Multi-Channel Updates with Constant Collateral in Payment-Channel Networks. Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei. CCS ’19.

[Payment]Security Analysis and Implementation of Relay-Resistant Contactless Payments. Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune CCS ’20.

[Smart Contract]ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts. Karl Wüst, Sinisa Matetic, Silvan Egli, Kari Kostiainen, Srdjan Capkun. CCS ’20.

[Transactions]Pointproofs: Aggregating Proofs for Multiple Vector Commitments. Sergey Gorbunov, Leonid Reyzin, Hoeteck Wee, Zhenfei Zhang. CCS ’20.

[Mining]BDoS: Blockchain Denial-of-Service Attacks. Michael Mirkin, Yan Ji, Jonathan Pang, Ariah Klages-Mundt, Ittay Eyal, Ari Juels. CCS ’20.

[Consensus]Blinder — Scalable, Robust Anonymous Committed Broadcast. Avishay Yanai, Ittai Abraham, Benny Pinkas. CCS ’20.

[Consensus]Dumbo: Faster Asynchronous BFT Protocols. Bingyong Guo; Zhenliang Lu, Jing Xu, Zhenfeng Zhang. CCS ’20.

[Consensus]On the Optimality of Optimistic Responsiveness. Ittai Abraham, Kartik Nayak, Ling Ren, Nibesh Shrestha. CCS ’20.

[Cryptography]Asynchronous Distributed Key Generation for Computationally Secure Randomness, Consensus, and Threshold Signatures. Eleftherios Kokoris Kogias; Dahlia Malkhi; Alexander Spiegelman. CCS ’20.

[Consensus]Everything is a Race and Nakamoto Always Wins. Xuechao Wang, Ertem Nusret Tas, David Tse, Amir Dembo, Sreeram Kannan, Ofer Zeitouni, Pramod Viswanath. CCS ’20.

[Consensus]Tight Consistency Bounds for Bitcoin. Peter Gaži, Aggelos Kiayias, Alexander Russell. CCS ’20.

[Consensus]Multi-Threshold Byzantine Fault Tolerance.Atsuki Momose, Ling Ren. CCS ’21.

[Consensus]Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and Chain Quality.Muhammad Saad, Afsah Anwar, Srivatsan Ravi, and David Mohaisen. CCS ’21.

[Consensus]BFT Protocol Forensics. Peiyao Sheng, Gerui Wang, Kartik Nayak, Sreeram Kannan, Pramod Viswanath. CCS ’21.

[Consensus]Securing Parallel-chain Protocols under Variable Mining Power Xuechao Wang, Viswa Virinchi Muppirala, Lei Yang, Sreeram Kannan, Pramod Viswanath. CCS ’21.

[Beacon]RandPiper-Reconfiguration-Friendly Random Beacons with Quadratic Communication. Adithya Bhat and Nibesh Shrestha and Aniket Kate and Kartik Nayak. CCS ’21.

[Consensus]Asynchronous Data Dissemination and its Applications Sourav Das and Zhuolun Xiang and Ling Ren. CCS ’21.

IPDPS

[Consensus]G-PBFT: A Location-based and Scalable Consensus Protocol for IoT-Blockchain Applications. LapHou Lao, Xiaohai Dai, Bin Xiao, and Songtao Guo. IPDPS ’20.

[BFT]Byzantine Generalized Lattice Agreement. Giuseppe Antonio Di Luna, Emmanuelle Anceaume, and Leonardo Querzoni. IPDPS ’20.

SIGMOD

[Measurement]BLOCKBENCH: A Framework for Analyzing Private Blockchains. Tien Tuan Anh Dinh, Ji Wang, Gang Chen, Rui Liu, Beng Chin Ooi, and Kian-Lee Tan. SIGMOD ’17.

[Database]Blurring the Lines between Blockchains and Database Systems: the Case of Hyperledger Fabric. Ankur Sharma, Felix Martin Schuhknecht, Divya Agrawal, and Jens Dittrich. SIGMOD ’19.

[Database]vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases. Cheng Xu, Ce Zhang, and Jianliang Xu. SIGMOD ’19.

[Consensus-sharding]Towards Scaling Blockchain Systems via Sharding. Hung Dang, Tien Tuan Anh Dinh, Dumitrel Loghin, Ee-Chien Chang, Qian Lin, and Beng Chin Ooi. SIGMOD ’19.

[Database]Confidentiality Support over Financial Grade Consortium Blockchain. Yan, YingWei, Changzheng Guo, Xuepeng Lu, Xuming Zheng, Xiaofu Liu, Qi Zhou, Chenhui Song, Xuyang Zhao, Boran Zhang, Hui Jiang, and Guofei. SIGMOD ’20.

[Database] A Transactional Perspective on Execute-order-validate Blockchains. Pingcheng Ruan, Dumitrel Loghin, Meihui Zhang, Gang Chen, and Beng Chin Ooi. SIGMOD ’20.

[Database] FalconDB: Blockchain-based Collaborative Database. Yanqing Peng, Min Du, Feifei Li, Raymond Cheng, and Dawn Song. SIGMOD ’20.

[Database] Blockchains vs. Distributed Databases: Dichotomy and Fusion. Pingcheng Ruan, Tien Tuan Anh Dinh, Dumitrel Loghin, Meihui Zhang, Gang Chen, Qian Lin and Beng Chin Ooi. SIGMOD ’21.

[Benchmark] Why Do My Blockchain Transactions Fail? A Study of Hyperledger Fabric. Jeeta Ann Chacko, Ruben Mayer, and Hans-Arno Jacobsen. SIGMOD ’21.

[Consensus-sharding] SharPer: Sharding Permissioned Blockchains Over Network Clusters. Mohammad Javad Amiri, Divyakant Agrawal, and Amr El Abbadi. SIGMOD ’21.

[PoS] Do the Rich Get Richer? Fairness Analysis for Blockchain Incentives. Yuming Huang, Jing Tang, Qianhao Cong, Andrew Lim, and Jianliang Xu.

[Privacy] P^2B-Trace: Privacy-Preserving Blockchain-based Contact Tracing to Combat Pandemics. Zhe Peng, Cheng Xu, Haixin Wang, Jinbin Huang, Jianliang Xu, and Xiaowen Chu. SIGMOD ’21.

[Privacy] DIV: Resolving the Dynamic Issues of Zero-knowledge Set Membership Proof in the Blockchain. Zihuan Xu, and Lei Chen. SIGMOD ’21.

[Privacy] When the Recursive Diversity Anonymity Meets the Ring Signature. Wangze Ni, Peng Cheng, Lei Chen, Xuemin Lin. SIGMOD ’21.

[Database] SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database. Panagiotis Antonopoulos, Raghav Kaushik, Hanuma Kodavalla, Sergio Rosales Aceves, Reilly Wong, Jason Anderson, and Jakub Szymaszek. SIGMOD ’21

SPAA

[Consensus-DAG]Why BlockDAGs Excel Blockchains. Darya Melnyk and Roger Wattenhofer. SPAA’ 20

[Consensus-BFT]Fast Byzantine Agreement for Permissioned Distributed Ledgers. Thomas Locher. SPAA’ 20

INFOCOM

[Network]Stochastic Models and Wide-Area Network Measurements for Blockchain Design and Analysis. Nikolaos Papadis, Sem Borst, Anwar Walid, Mohamed Grissa, Leandros Tassiulas. INFOCOM’18

[Transaction]Understanding ethereum via graph analysis. Ting Chen,Yuxiao Zhu, Zihao Li, Jiachi Chen, Xiaoqi Li, Xiapu Luo, Xiaodong Lin, Xiaodong Lin. INFOCOM’18

[Security]Corking by Forking: Vulnerability Analysis of Blockchain. Shengling Wang and Chenyu Wang, Qin Hu. INFOCOM’19

[Scalability]ACCEL: Accelerating the Bitcoin Blockchain for High-throughput, Low-latency Applications. Adiseshu Hari, Murali Kodialam, T. V Lakshman. INFOCOM’19

[Application]A Blockchain based Witness Model for Trustworthy Cloud Service Level Agreement Enforcement. Huan Zhou, Xue Ouyang, Zhijie Ren, Jinshu Su, Cees de Laat and Zhiming Zhao. INFOCOM’19

[Network]Modeling the Impact of Network Connectivity on Consensus Security of Proof-of-Work Blockchain. Yang Xiao, Ning Zhang, Wenjing Lou and Thomas Hou. INFOCOM’20

[Off-chain]Secure Balance Planning of Off-blockchain Payment Channel Networks. Peng Li and Toshiaki Miyazaki, Wanlei Zhou. INFOCOM’20.

[Consensus]A Weak Consensus Algorithm and Its Application to High-Performance Blockchain. Qin Wang, Rujia Li. INFOCOM’21.

[Mining]Characterizing Ethereum’s Mining Power Decentralization at a Deeper Level. Liyi Zeng, Yang Chen, Shuo Chen, Xian Zhang, Zhongxin Guo, Wei Xu, Thomas Moscibroda. INFOCOM’21.

[Consensus]On the Performance of Pipelined HotStuff. Jianyu Niu, Fangyu Gai, Mohammad Jalalzai, Chen Feng. INFOCOM’21.

ICDCS

[Application] Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine.Zonyin Shae, Jeffrey J.P. Tsai. ICDCS’18

[PoW]Selfish Mining in Ethereum Jianyu Niu and Chen Feng. ICDCS’19

[Consensus]Trust Mends Blockchains: Living up to Expectations. Leila Bahri and Sarunas Girdzijauskas. ICDCS’19

[Application]Hierarchical Edge-Cloud Computing for Mobile Blockchain Mining Game. Suhan Jiang, Xinyi Li and Jie Wu. ICDCS’19

[Scalability]OptChain: Optimal Transactions Placement for Scalable Blockchain Sharding. Lan Nguyen, Truc Nguyen, Thang Dinh and My Thai. ICDCS’19

[Consensus]Jidar: A Jigsaw-like Data Reduction Approach without Trust Assumptions for Bitcoin System. Xiaohai Dai, Jiang Xiao, Wenhui Yang, Chaofan Wang and Hai Jin. ICDCS’19

[Scalability]ParBlockchain: Leveraging Transaction Parallelism in Permissioned Blockchain Systems. Mohammad Javad Amiri, Divyakant Agrawal and Amr El Abbadi. ICDCS’19

[Application]Optimal Admission Control For Secondary Users using Blockchain Technology In Cognitive Radio Networks. Wenlong Ni, Yuhong Zhang and Wei Li. ICDCS’19

[Application]Resource Allocation and Consensus on Edge Blockchain in Pervasive Edge Computing Environments. Yaodong Huang, Jiarui Zhang, Jun Duan, Bin Xiao, Fan Ye and Yuanyuan Yang. ICDCS’19

[Application]Xyreum: A High-Performance and Scalable Blockchain for IIoT Security and Privacy. Abubakar Sadiq Sani, Dong Yuan, Wei Bao, Phee Lep Yeoh, Zhaoyang Dong, Branka Vucetic and Elisa Bertino. ICDCS’19

[Consensus-PoS]Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders. Aggelos Kiayias, Saad Quader, Alexander Russell. ICDCS’20

[Network]Fair and Efficient Gossip in Hyperledger Fabric. Nicolae Berendea, Hugues Mercier, Emanuel Onica, Etienne Rivière. ICDCS’20

[PoW]An Analysis of Blockchain Consistency in Asynchronous Networks: Deriving a Neat Bound. Jun Zhao, Jing Tang, Li Zengxiang, Huaxiong Wang, Kwok-Yan Lam, Kaiping Xue. ICDCS’20

[Consensus]Dissecting the Performance of Chained-BFT. Fangyu Gai, Ali Farahbakhsh, Jianyu Niu, Chen Feng, Ivan Beschastnikh, Hao Duan. ICDCS’21

[Consensus]Strengthened Fault Tolerance in Byzantine Fault Tolerant Replication. Zhuolun Xiang, Dahlia Malkhi, Kartik Nayak, Ling Ren. ICDCS’21

NSDI

[Consensus-PoW] Bitcoin-NG: A Scalable Blockchain Protocol. Eyal I, Gencer AE, Sirer EG, Van Renesse R. NSDI ’16

[System]Monoxide: Scale Out Blockchain with Asynchronized Consensus Zones. Jiaping Wang, Hao Wang. NSDI’19

[Network]High Throughput Cryptocurrency Routing in Payment Channel Networks. Vibhaalakshmi Sivaraman, Shaileshh Bojja Venkatakrishnan, Kathleen Ruan, Parimarjan Negi and Lei Yang, Radhika Mittal, Giulia Fanti, Mohammad Alizadeh. NSDI ’20

OSDI

[System]Blockene: A High-throughput Blockchain Over Mobile Devices. Sambhav Satija and Apurv Mehra, Sudheesh Singanamalla, Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta, and Satya Lokam. OSDI’20

[Consensus]Byzantine ordered consensus without Byzantine oligarchy Yunhao Zhang, Srinath Setty, Qi Chen, and Lidong Zhou, Lorenzo Alvisi. OSDI’20

[Smart Contract]Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing. Youngseok Yang, Taesoo Kim, Byung-Gon Chun. OSDI’21

[Decentralized Service]Bringing Decentralized Search to Decentralized Services. Mingyu Li, Jinhao Zhu, Tianxu Zhang, Cheng Tan, Sebastian Angel, and Haibo Chen. OSDI’21

DSN

[Smart Contract]FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric. Hui Kang, Ting Dai, Nerla Jean-Louis and Shu Tao. Xiaohui Gu. DSN ’19

[Consensus-BFT]SBFT: a Scalable and Decentralized Trust Infrastructure. Guy Golan Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael K. Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu. DSN ’19

[Payment Channel]FSTR: Funds Skewness aware Transaction Routing for Payment Channel Networks. Siyi Lin, Jingjing Zhang, Weigang Wu. DSN ’20

[Incentive]On Incentive Compatible Role-based Reward Distribution in Algorand. Mehdi Fooladgar, Mohammad Hossein Manshaei, Murtuza Jadliwala, Mohammad Ashiqur Rahman. DSN ’20

[Consensus-BFT]EPIC: Efficient Asynchronous BFT with Adaptive Security.Chao Liu, Sisi Duan, Haibin Zhang. DSN ’20

[Smart Contract]SMACS: Smart Contract Access Control Service. Bowen Liu, Siwei Sun, Pawel Szalachowski. DSN ’20

[Incentive]Data-Driven Model-Based Analysis of the Ethereum Verifier’s Dilemma. Maher Alharby, Roben Lunardi, Amjad Aldweesh, Aad van Moorsel. DSN ’20

[Smart Contract]Smart Contracts on the Move. Enrique Fynn, Alysson Bessani, Fernando Pedone. DSN ’20

[Consensus]From Byzantine Replication to Blockchain: Consensus is only the Beginning. Alysson Bessani, Eduardo Alchieri, João Sousa, André Oliveira, Fernando Pedone. DSN ’20

[Payment Channel]Online Payments by Merely Broadcasting Messages. Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis. DSN ’20

CoNEXT

[Consensus-PoW] On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol. Ren Zhang, Bart Preneel. CoNEXT ’17

[Consensus]Stellar: Network Attack Mitigation using Advanced Blackholing(.Christoph Dietzel, Matthias Wichtlhuber, Georgios Smaragdakis, Anja Feldmann. CoNEXT ’18

[Mining]Mining the Web with Webcoin. Uri Klarman, Marcel Flores, Aleksandar Kuzmanovic. CoNEXT ’18

[Application]Blockchain-based Real-time Cheat Prevention and Robustness for Multi-player Online Game. Sukrit Kalra, Rishabh Sanghi, Mohan Dhawan. CoNEXT ’18

[Layer2]Flash: Efficient Dynamic Routing for Offchain Networks. Peng Wang, Hong Xu, Xin Jin, Tao Wang. CoNEXT ’19

PLDI

[Smart Contract]Behavioral Simulation for Smart Contracts. Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, Constantin Enea. PLDI ‘2020

[Smart Contract]Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities. Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis. PLDI ‘2020

[Smart Contract]Securing Smart Contract with Runtime Validation. Ao Li, Jemin Andrew Choi, Fan Long. PLDI ‘2020

[Smart Contract]Practical Smart Contract Sharding with Ownership and Commutativity Analysis George Pîrlea, Amrit Kumar, Ilya Sergey. PLDI ‘2021

FC

[Economic-PoW] Majority Is Not Enough: Bitcoin Mining Is Vulnerable. Eyal I, Sirer EG. FC ’14.

[Consensus-PoW] Secure High-Rate Transaction Processing in Bitcoin. Sompolinsky Y, Zohar A. FC ’15.

[ChainStructure]Inclusive Block Chain Protocols. Yoad Lewenberg, Yonatan Sompolinsky, Aviv Zohar. FC ’15.

[Consensus] Cryptocurrencies without Proof of Work. Bentov I, Gabizon A, Mizrahi A. FC ’16.

[Economic-PoW] Optimal Selfish Mining Strategies in Bitcoin. Sapirshtein A, Sompolinsky Y, Zohar A. FC ’16.

[Consensus-PoS] A Proof-of-Stake protocol for consensus on Bitcoin subchains. Bartoletti M, Lande S, & Podda A S. FC ’17.

[FC Accepted Paper Link:] FC’15FC’16FC’17FC’18FC’19FC’20FC’21.

EC

[Economic-PoW] An Economic Analysis of Difficulty Adjustment Algorithms in Proof-of-Work Blockchain Systems. Shunya Noda, Kyohei Okumura and Yoshinori Hashimoto. EC ’20.

SOCC

[Network] Gosig: A Scalable and High-Performance Byzantine Consensus for Consortium Blockchains. Penglun Li, Guosai Wang, Xiaoqi Chen, Fan Long, Wei Xu. SOCC’21.

[Network] Shrec: Bandwidth-Efficient Transaction Relay in High-Throughput Blockchain Systems. Yilin Han, Chenxing Li, Peilun Li, Ming Wu, Dong Zhuo, Fan Long. SOCC’21.

OOPSLA

[Smart Contract] Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts. Shuai Wang, Chengyu Zhang, Zhendong Su. OOPSLA’19.

ICDE

[Storage] CUB, a Consensus Unit-Based Storage Scheme for Blockchain System. Zihuan Xu, Siyuan Han, Lei Chen. 2018.

[Database] SEBDB:Semantics Empowered BlockChain DataBase. Yanchao Zhu, Zhao Zhang, Cheqing Jin, Aoying Zhou, Ying Yan. 2019.

[Query] Authenticated Keyword Search in Scalable Hybrid-Storage Blockchains. Ce Zhang, Cheng Xu, Haixin Wang, Jianliang Xu, Byron Choi. 2021.

Journals

TKDE

[Smart Contract] A High Performance Concurrency Protocol for Smart Contracts of Permissioned Blockchain. Cheqing Jin, Shuaifeng Pang, Xiaodong Qi, Zhao Zhang, and Aoying Zhou. 2021.

[Storage] A Reliable Storage Partition for Permissioned Blockchain. Xiaodong Qi, Zhao Zhang, Cheqing Jin, and Aoying Zhou. 2021.

ACMCSUR

[Layer2] A Survey on Blockchain Interoperability: Past, Present, and Future Trends. Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia. 2021.