A curated blockchain-related academic papers. All papers are sorted based on the conference/journal name and published year. Welcome developers or researchers to add more published paper to this list.
| Security & Privacy & Crypto | Networking & Database | Software Engineering & Programming Language | System Architecture |
|---|---|---|---|
| CRYPTO | SIGMETRICS & Performance | ICSE | EuroSys |
| EUROCRYPT | ICDE | ESEC/FSE | ACM SOSP |
| USENIX Security | VLDB | ASE | EuroS&P |
| IEEE S&P | ACM SIGMOD | ACM PLDI | SRDS |
| NDSS | IEEE INFOCOM | ACM OOPSLA | ACM PODC |
| ACM CCS | NSDI | ACM EC | IEEE IPDPS |
| IEEE DSN | ACM CoNEXT | ISSTA | IEEE ICDCS |
| FC | ACM MobiHoc | ACM POPL | ACM SOCC |
| IMC |
- IEEE Transaction on Knowledger and Data Engineering(TKDE)
- ACM Computing Surveys (ACM CSUR)
- ACM Distributed Ledger Technologies: Research and Practice (ACM DLT)
- IEEE Journal on Selected Areas in Communications
- IEEE Transactions on Network Science and Engineering
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).
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.
[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.
[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.
[Smart Contract]Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. Jiao, Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan, Yang Liu, and Jun Sun. 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.
[Smart Contract]ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin Vechev. IEEE S&P '22.
[Smart Contract]SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna. IEEE S&P '22.
[Payment]MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments Muhammed F. Esgin, Ron Steinfeld, Raymond K. Zhao. IEEE S&P '22.
[Security]Quantifying Blockchain Extractable Value:How dark is the forest? Kaihua Qin, Liyi Zhou, Arthur Gervais. IEEE S&P '22.
[Exchange]Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains Sri AravindaKrishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez. IEEE S&P '22.
[Consensus]Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains Ruomu Hou, Haifeng Yu, Prateek Saxena. IEEE S&P '22.
[Consensus]Foundations of Dynamic BFT Sisi Duan, Haibin Zhang. IEEE S&P '22.
[Smart Contract]Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts Kushal Babel, Philip Daian, Mahimna Kelkar, Ari Juels. IEEE S&P '23.
[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.
[Transaction]How to Peel a Million: Validating and Expanding Bitcoin Clusters George Kappos and Haaroon Yousaf, Rainer Stütz and Sofia Rollet, Bernhard Haslhofer, Sarah Meiklejohn. USENIX '22 Security Symposium.
[Payment]Twilight: A Differentially Private Payment Channel Network Maya Dotan, Saar Tochner, Aviv Zohar, and Yossi Gilad. USENIX '22 Security Symposium.
[Consensus]ACon^2: Adaptive Conformal Consensus for Provable Blockchain Oracles Sangdon Park, Osbert Bastani, and Taesoo Kim. USENIX '23 Security Symposium.
[Smart Contract-security]Panda: Security Analysis of Algorand Smart Contracts Zhiyuan Sun, Xiapu Luo, and Yinqian Zhang. USENIX '23 Security Symposium.
[Smart Contract]The Blockchain Imitation Game Kaihua Qin, Stefanos Chaliasos, Liyi Zhou, Benjamin Livshits, Dawn Song, and Arthur Gervais. USENIX '23 Security Symposium.
[Smart Contract]Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains William E Bodell III, Sajad Meisami, and Yue Duan. USENIX '23 Security Symposium.
[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.
[Consensus-BFT]Speeding Dumbo: Pushing Asynchronous BFT to Practice. Bingyong Guo, Yuan Lu, Zhenliang Lu, Qiang Tang, jing xu, Zhenfeng Zhang. NDSS '22.
[Consensus-PoW]NC-Max: Breaking the Security-Performance Tradeoff in Nakamoto Consensus. Ren Zhang, Dingwei Zhang, and Quake Wang, Shichen Wu, Jan Xie, Bart Preneel. NDSS '22.
[Consensus-PoET]Multi-Certificate Attacks against Proof-of-Elapsed-Time and Their Countermeasures. Huibo Wang, Guoxing Chen, Yinqian Zhang, Zhiqiang Lin. NDSS '22.
[Smart Contract]POSE: Practical Off-chain Smart Contract Execution. Tommaso Frassetto, Patrick Jauernig, David Koisser, David Kretzler, Benjamin Schlosser, Sebastian Faust, and Ahmad-Reza Sadeghi. NDSS '23.
[Smart Contract]Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan König, Jasper Stang, and Alexandra Dmitrienko, Ahmad-Reza Sadeghi, Farinaz Koushanfar. NDSS '23.
[Consensus]LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, and Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun. NDSS '23.
[Measurement]BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects. Xiao Yi, Yuzhou Fang, and Daoyuan Wu, Lingxiao Jiang. NDSS '23.
[Payment Channel]Breaking And Fixing UTXO-Based Virtual Channels. Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei. NDSS '23.
[Consensus]Partitioning Ethereum without Eclipsing It. Hwanjo Heo and Seungwon Woo, Tae Ung Yoon, Min Suk Kang and Seungwon Shin. NDSS '23.
[Security]Double and Nothing: Understanding and Detecting Cryptocurrency Giveaway Scams. Xigao Li, Anurag Yepuri, and Nick Nikiforakis. NDSS '23.
[Payment Channel]He-HTLC: Revisiting Incentives in HTLC Sarisht Wadhwa and Jannis Stoeter, Fan Zhang, Kartik Nayak. NDSS '23.
[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.
[Consensus]Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency. Yingzi Gao, Yuan Lu, Zhenliang Lu, Qiang Tang, Jing Xu, Zhenfeng Zhang. CCS '22.
[Consensus] Bolt-Dumbo Transformer: Asynchronous Consensus As Fast As the Pipelined BFT. Yuan Lu, Zhenliang Lu, Qiang Tang. CCS '22.
[Consensus] Bullshark: DAG BFT Protocols Made Practical. Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias. CCS '22.
[Consensus] Constant Latency in Sleepy Consensus. Atsuki Momose, Ling Ren. CCS '22.
[Consensus] ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes Weili Wang , Sen Deng, Jianyu Niu, Michael K. Reiter, Yinqian Zhang. CCS '22.
[Transactions] Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security Yulin Liu, Yuxuan Lu, Kartik Nayak, Fan Zhang, Luyao Zhang, Yinhong Zhao. CCS '22.
[Consensus] Minotaur: Multi-Resource Blockchain Consensus. Matthias Fitzi, Xuechao Wang, Sreeram Kannan, Aggelos Kiayias, Nikos Leonardos, Pramod Viswanath, Gerui Wang. CCS '22.
[Consensus] PACE: Fully Parallelizable BFT from Reproposable Byzantine Agreement. Haibin Zhang, Sisi Duan. CCS '22.
[Payment channel] Sleepy Channels: Bi-directional Payment Channels without Watchtowers. Lukas Aumayr, Sri AravindaKrishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei. CCS '22.
[Transactions] Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration. Gibran Gomez, Pedro Moreno-Sanchez, Juan Caballero. CCS '22.
[Cross-chain] zkBridge: Trustless Cross-chain Bridges Made Practical. Tiancheng Xie, Jiaheng Zhang, Zerui Cheng, Fan Zhang, Yupeng Zhang, Yongzheng Jia, Dan Boneh, Dawn Song. CCS '22.
[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, Matthew Burke, Yunhao Zhang, Zheng Wang, Lorenzo Alvisi, and Natacha Crooks. SOSP'21
[Network] Bidl: A High-throughput, Low-latency Permissioned Blockchain Framework for Datacenter Networks. Ji Qi, Xusheng Chen, Yunpeng Jiang, Jianyu Jiang, Tianxiang Shen, Shixiong Zhao, Sen Wang, Gong Zhang, Li Chen, Man Ho Au, and Heming Cui. SOSP'21
[Consensus] Kauri: Scalable BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation. Ray Neiheiser, Miguel Matos, and Luís Rodrigues. SOSP'21
[Smart Contract] Forerunner: Constraint-based Speculative Transaction Execution for Ethereum. Yang Chen, Zhongxin Guo, Runhuai Li, Shuo Chen, Lidong Zhou, Yajin Zhou, and Xian Zhang. SOSP'21
[Consensus] Rabia: Simplifying State-Machine Replication Through Randomization. Haochen Pan, Jesse Tuglu, Neo Zhou, Tianshu Wang, Yicheng Shen, Xiong Zheng, Joseph Tassarotti, Lewis Tseng, Roberto Palmieri. SOSP'21
[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
[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.
[Consensus] DAMYSUS: Streamlined BFT Consensus Leveraging Trusted Components. Jeremie Decouchant, David Kozhaya, Vincent Rahli, Jiangshan Yu. EuroSys'22.
[Consensus] State Machine Replication Scalability Made Simple. Chrysoula Stathakopoulou, Matej Pavlovic, Marko Vukolic. EuroSys'22.
[Consensus] Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus. George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman. EuroSys'22.
[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
[Consensus-BFT] DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks. Lei Yang, Seo Jin Park, Sreeram Kannan, Kannan S, David Tse. NSDI ’22
[System]SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange. Geoffrey Ramseyer, Ashish Goel, David Mazières. NSDI '23
[System]Hamilton: A High-Performance Transaction Processor for Central Bank Digital Currencies. James Lovejoy, Madars Virza, Cory Fields, Kevin Karwaski, Anders Brownworth, Neha Narula. NSDI '23
[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.
[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
[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.
[Smart Contract] Gigahorse: Thorough, Declarative Decompilation of Smart Contracts. Neville Grech, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis. ICSE '2019.
[Smart Contract] Gap between theory and practice: an empirical study of security patches in solidity. Sungjae Hwang, Sukyoung Ryu. ICSE '2020.
[Smart Contract] Targeted greybox fuzzing with static lookahead analysis. Valentin Wüstholz, Maria Christakis. ICSE '2020.
[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
[Smart Contract] Smart Contract Security: a Practitioners' Perspective. Zhiyuan Wan, Xin Xia, David Lo, Jiachi Chen, Xiapu Luo, Xiaohu Yang. ICSE '2021
[Application] Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts. Péter Garamvölgyi, Yuxi Liu, Dong Zhou, Fan Long, Ming Wu. ICSE '2022
[Smart Contract] Towards automated verification of smart contract fairness. Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao. ESEC/FSE '20.
[Smart Contract] Harvey: a greybox fuzzer for smart contracts.Valentin Wüstholz, Maria Christakis. ESEC/FSE '20.
[Application] Making smart contract development more secure and easier. Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang. ESEC/FSE '21.
[Smart Contract] iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations. Yibo Wang, Qi Zhang, Kai Li, Yuzhe Tang, Jiaqi Chen, Xiapu Luo, Ting Chen. ESEC/FSE '21.
[Decentralized Application] ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications. Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, Shing-Chi Cheung. ESEC/FSE '21
[Smart Contract] ContractFuzzer: fuzzing smart contracts for vulnerability detection. Bo Jiang, Ye Liu, W. K Chan. ASE '18.
[Smart Contract] Summary-based symbolic evaluation for smart contracts. Yu Feng, Emina Torlak, Rastislav Bodik. ASE '20.
[Smart Contract] Demystifying loops in smart contracts. Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig. ASE '20.
[Smart Contract] Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. Yinxing Xue, Mingliang Ma, Yun Lin, Yulei Sui, Jiaming Ye, Tianyong Peng. ASE '20.
[Smart Contract] SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha. ASE '21.
[Smart Contract] Automating User Notice Generation for Smart Contract Functions. Xing Hu, Zhipeng Gao, Xin Xia, David Lo, Xiaohu Yang. ASE '21.
[Smart Contract] Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung. ASE '21
[Smart Contract] Exploiting The Laws of Order in Smart Contracts. Aashish Kolluri, Ivica Nikoli ́ c, Ilya Sergey, Aquinas Hobor, Prateek Saxena. ISSTA '19
[Smart Contract] EShield: protect smart contracts against reverse engineering. Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, Zhong Chen. ISSTA '20
[Smart Contract] How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. Asem Ghaleb, Karthik Pattabiraman. ISSTA '20
[Smart Contract] eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts. Asem Ghaleb, Julia Rubin, Karthik Pattabiraman. ISSTA '22
[Smart Contract] Finding Permission Bugs in Smart Contracts with Role Mining. Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho. ISSTA '22
[Smart Contract] Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution. Peilin Zheng, Zibin Zheng, Xiapu Luo. ISSTA '22
[Smart Contract] WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts. Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, Lei Wu. ISSTA '22
[Smart Contract] Online detection of effectively callback free objects with applications to smart contracts. SHELLY GROSSMAN, ITTAI ABRAHAM, GUY GOLAN-GUETA, YAN MICHALEVSKY, NOAM RINETZKY, MOOLY SAGIV, YONI ZOHAR. POPL '18.
[Smart Contract] SolType: Refinement Types for Arithmetic Overflow in Solidity. BRYAN TAN, BENJAMIN MARIANO, SHUVENDU K. LAHIRI, ISIL DILLIG, YU FENG. POPL '22.
[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.
[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.
[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.
[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
[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
[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.
[Application]Blockchain Based Non-repudiable IoT Data Trading: Simpler, Faster, and Cheaper. Fei Chen, Jiahao Wang, Changkun Jiang, Tao Xiang, Yuanyuan Yang. INFOCOM'22.
[Scalability]BrokerChain: A Cross-Shard Blockchain Protocol for Account/Balance-based State Sharding. Huawei Huang, Xiaowen Peng, Jianzhou Zhan, Shenyang Zhang, Yue Lin, Zibin Zheng, Song Guo. INFOCOM'22.
[Scalability]S-Store:: A Scalable Data Store towards Permissioned Blockchain Sharding. Xiaodong Qi. INFOCOM'22.
[Netowrk]Dino: A Block Transmission Protocol with Low Bandwidth Consumption and Propagation Latency. Zhenxing Hu and Zhen Xiao. INFOCOM'22.
[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
[Consensus]Leopard: Towards High Throughput-Preserving BFT for Large-scale Systems. Kexin Hu, Kaiwen Guo, Qiang Tang, Zhenfeng Zhang, Hao Cheng, Zhiyang Zhao. ICDCS'22
[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
[Consensus]Marlin: Two-Phase BFT with Linearity. Xiao Sui, Sisi Duan, Haibin Zhang. DSN'22
[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
[Consensus-sharding] User Distributions in Shard-based Blockchain Network: Queueing Modeling, Game Analysis, and Protocol Design. Canhui Chen, Qian Ma, Xu Chen, Jianwei Huang. MobiHoc '21
[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
[Network] Gosig: A Scalable and High-Performance Byzantine Consensus for Consortium Blockchains. Peilun 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.
[Smart Contract] MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts. Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, Yannis Smaragdakis. OOPSLA '18.
[Smart Contract] Safer smart contract programming with Scilla. Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan Guan Hao. OOPSLA '19.
[Smart Contract] Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts. Shuai Wang, Chengyu Zhang, Zhendong Su. OOPSLA '19.
[Smart Contract] Precise static modeling of Ethereum ”memory“. Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis. OOPSLA '20.
[Smart Contract] Rich Specifications for Ethereum Smart Contract Verification. Christian Bräm, Marco Eilers, Peter Müller, Robin Sierra, Alexander J. Summers. OOPSLA '21.
[Smart Contract] Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts. Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, Ilias Tsatiris. OOPSLA '21.
[Smart Contract] Elipmoc: advanced decompilation of Ethereum smart contracts. Neville Grech, Sifis Lagouvardos, Ilias Tsatiris, Yannis Smaragdakis. OOPSLA '22.
[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.
[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.
[Transaction-Prioritization-MEV] Dissecting Bitcoin and Ethereum Transactions: On the Lack of Transaction Contention and Prioritization Transparency in Blockchains. Johnnatan Messias, Vabuk Pahari, Balakrishnan Chandrasekaran, Krishna P. Gummadi, and Patrick Loiseau. FC' 23.
[FC Accepted Paper Link:] FC'15, FC'16, FC'17, FC'18, FC'19. FC'20, FC'21, FC'22, FC'23.
[Economic-PoW] An Economic Analysis of Difficulty Adjustment Algorithms in Proof-of-Work Blockchain Systems. Shunya Noda, Kyohei Okumura and Yoshinori Hashimoto. EC '20.
[Transaction-Prioritization] Selfish & Opaque Transaction Ordering in the Bitcoin Blockchain: The Case for Chain Neutrality. Johnnatan Messias, Mohamed Alzayat, Balakrishnan Chandrasekaran, Krishna P. Gummadi, Patrick Loiseau, and Alan Mislove. IMC '21.
[Defi] A flash(bot) in the pan: measuring maximal extractable value in private pools. Ben Weintraub, Christof Ferreira Torres, Cristina Nita-Rotaru, and Radu State. IMC '22.
[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.
[Layer2] A Survey on Blockchain Interoperability: Past, Present, and Future Trends. Rafael Belchior, André Vasconcelos, Sérgio Guerreiro, Miguel Correia. 2021.
[Layer2] Do You Need a Distributed Ledger Technology Interoperability Solution?. Rafael Belchior, Luke Riley, Thomas Hardjono, André Vasconcelos, Miguel Correia. 2022.
[Network] TIPS: Transaction Inclusion Protocol with Signaling in DAG-based Blockchain. Canhui Chen, Xu Chen, Zhixuan Fang. 2022.
[Consensus-PoW] Impact of temporary fork on the evolution of mining pools in blockchain networks: An evolutionary game analysis. Canhui Chen, Xu Chen, Jiangshan Yu, Weigang Wu, Di Wu. 2020.
This list is released into the public domain.