A curated list of blockchain-related academic papers. Papers with 🎓 have been peer-reviewed and presented in academic conferences.

Thanks to the excellent work of decrypto-org/blockchain-papers. This repository is forked from their repository, but continuously add great papers and makes a more reasonable organization based on the content and source of papers.

If you want to join with us, please feel free to contact me. Then, remember to read CONTRIBUTING.md before adding papers.

• Papers of CCS '23 added
• Papers of NDSS '23 added
• Papers of S&P '23 first cycle added
• Papers of INFOCOM '23 added
• Papers of SOSP '23 added

Conference

• USENIX Security (Usenix Security Symposium) <= 2023 Fall
• S&P (IEEE Security and Privacy) <= 2023 First Cycle
• CCS (ACM Conference on Computer and Communications Security) <= 2023
• NDSS (Network and Distributed System Security) <= 2023
• CRYPTO (International Cryptology Conference) <= 2020 (waiting for notifications, 2021.4.19)
• EUROCRYPT (European Cryptology Conference) <= 2021
• INFOCOM (IEEE International Conference on Computer Communications) <= 2023
• SOSP (ACM Symposium on Operating Systems Principles) <= 2023
• NSDI (USENIX Symposium on Networked Systems Design and Implementation) <= 2020
• VLDB (International Conference on Very Large Data Bases) <= 2020
• OSDI (USENIX Symposium on Operating Systems Design and Implementations) <= 2021
• SIGMOD (ACM Conference on Management of Data) <= 2020
• ASE (International Conference on Automated Software Engineering) <= 2020
• ICSE (International Conference on Software Engineering)<=2021

Journal

• TOCS (ACM Transactions on Computer Systems) <= 2022
• TOPLAS (ACM Transactions on Programming Languages & Systems) <= 2022
• JACM (Journal of the ACM) <= 2023 issue 1
• Journal of Cryptology <= 2023 issue 1
• TDSC (IEEE Transactions on Dependable and Secure Computing) <= 2023 issue 1
• TIFS (IEEE Transactions on Information Forensics and Security) <=2021

Conference

• ASIACRYPT (International Conference on the Theory and Application of Cryptology and Information Security) <= 2020 (Calling for paper in 2021)
• ESORICS (European Symposium on Research in Computer Security) <= 2020
• ACSAC (Annual Computer Security Applications Conference) <= 2020
• EuroSys (European Conference on Computer Systems) <= 2020
• ICDCS (IEEE International Conference on Distributed Computing Systems) <= 2020
• PODC (ACM Symposium on Principles of Distributed Computing) <= 2020
• CoNEXT (ACM Conference on Emerging Networking EXperiments and Technologies) <= 2020

Conference

• ACNS (Applied Cryptography and Network Security) <= 2020
• FC (Financial Cryptography and Data Security) <= 2021

• CoRR
• T&I(Telematics and Informatics)
• EC
• IACR
• EuroS&P <= 2020

• Composition
  • System
  • Network, Wallets, Mining, Smart Contracts
  • Consensus:
    • BFT, PoW(Proof of work), PoS(Proof of stake), PoX(Proof-of-X), DAG
• Privacy
  • Mixing, RS(Ring signature), RingCT
  • ZKP(Zero-knowledge proof), HE(Homomorphic encryption)
  • BS(Blind signature)
  • MPC, TS(Threshold signature)
  • TRE(Timed-release encryption)
  • TEE
• Scalability:
  • Concurrency
  • Interoperability
  • Layer 2
    • PC(Payment Channel),
    • Plasma,
    • Rollups,
    • Sidechains
• Security
  • Attacks
  • Multi-signature
  • Formal Methods
  • Post-quantum
  • Atomic Swaps
  • Auditation
• Programmability
• Applications
  • Crime, Economics, Marketplaces, Sociological, Anthropological

• Article Types:
  • SoK(Systematization of knowledge), Survey, Review
  • Empirical
  • Research(default), Industrial, Tool
  • Short, Workshop, Demo

• 🎓 Oops..! I Glitched It Again! How to Multi-Glitch the Glitching-Protections on ARM TrustZone-M. Xhani Marvin Saß, Richard Mitev, and Ahmad-Reza Sadeghi, Technical University of Darmstadt. USENIX Security'23.

  • Keyword: TEE, attacks

• 🎓 Controlled Data Races in Enclaves: Attacks and Detection. Sanchuan Chen, Fordham University; Zhiqiang Lin, The Ohio State University; Yinqian Zhang, Southern University of Science and Technology. USENIX Security'23.

  • Keyword: TEE, attacks

• 🎓 VeriZexe: Decentralized Private Computation with Universal Setup. Alex Luoyuan Xiong, Espresso Systems, National University of Singapore; Binyi Chen and Zhenfei Zhang, Espresso Systems; Benedikt Bünz, Espresso Systems, Stanford University; Ben Fisch, Espresso Systems, Yale University; Fernando Krell and Philippe Camacho, Espresso Systems. USENIX Security'23.

  • Keyword: system, layer-2

• 🎓 Token Spammers, Rug Pulls, and Sniper Bots: An Analysis of the Ecosystem of Tokens in Ethereum and in the Binance Smart Chain (BNB). Federico Cernera, Massimo La Morgia, Alessandro Mei, and Francesco Sassi, Sapienza University of Rome. USENIX Security'23.

  • Keyword: attacks, survey

• 🎓 The Blockchain Imitation Game. Kaihua Qin, Imperial College London, RDI; Stefanos Chaliasos, Imperial College London; Liyi Zhou, Imperial College London, RDI; Benjamin Livshits, Imperial College London; Dawn Song, UC Berkeley, RDI; Arthur Gervais, University College London, RDI. USENIX Security'23.

  • Keyword: attacks

• 🎓 Proxy Hunting: Understanding and Characterizing Proxy-based Upgradeable Smart Contracts in Blockchains. William E Bodell III, Sajad Meisami, and Yue Duan, Illinois Institute of Technology. USENIX Security'23.

  • Keyword: smart contract, survey

• 🎓 Panda: Security Analysis of Algorand Smart Contracts. Zhiyuan Sun, The Hong Kong Polytechnic University and Southern University of Science and Technology; Xiapu Luo, The Hong Kong Polytechnic University; Yinqian Zhang, Southern University of Science and Technology. USENIX Security'23.

  • Keyword: smart contract, Auditation

• 🎓 ACon^2: Adaptive Conformal Consensus for Provable Blockchain Oracles. Sangdon Park, Georgia Institute of Technology; Osbert Bastani, University of Pennsylvania; Taesoo Kim, Georgia Institute of Technology. USENIX Security'23.

  • Keyword: consensus

• 🎓 A Large Scale Study of the Ethereum Arbitrage Ecosystem. Robert McLaughlin, Christopher Kruegel, and Giovanni Vigna, University of California, Santa Barbara. USENIX Security'23.

  • Keyword: attacks

• 🎓 CipherH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations. Sen Deng, Southern University of Science and Technology; Mengyuan Li, The Ohio State University; Yining Tang, Southern University of Science and Technology; Shuai Wang, Hong Kong University of Science and Technology; Shoumeng Yan, The Ant Group; Yinqian Zhang, Southern University of Science and Technology. USENIX Security'23.

  • Keyword: TEE, Auditation

• 🎓 How to Peel a Million: Validating and Expanding Bitcoin Clusters. George Kappos and Haaroon Yousaf, University College London and IC3; Rainer Stütz and Sofia Rollet, AIT - Austrian Institute of Technology; Bernhard Haslhofer, Complexity Science Hub Vienna; Sarah Meiklejohn, University College London and IC3. USENIX Security'22.

  • Keyword: Privacy, Attacks

• 🎓 Twilight: A Differentially Private Payment Channel Network. Maya Dotan, Saar Tochner, Aviv Zohar, and Yossi Gilad, The Hebrew University of Jerusalem. USENIX Security'22.

  • Keyword: PC

• 🎓 Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks. Daniel Townley, Peraton Labs; Kerem Arıkan, Yu David Liu, and Dmitry Ponomarev, Binghamton University; Oğuz Ergin, TOBB University of Economics and Technology. USENIX Security'22.

  • Keyword: TEE

• 🎓 A Hardware-Software Co-design for Efficient Intra-Enclave Isolation. Jinyu Gu, Bojun Zhu, Mingyu Li, Wentai Li, Yubin Xia, and Haibo Chen, Shanghai Jiao Tong University. USENIX Security'22.

  • Keyword: TEE

• 🎓 SGXFuzz: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing. Tobias Cloosters, University of Duisburg-Essen; Johannes Willbold, Ruhr-Universität Bochum; Thorsten Holz, CISPA Helmholtz Center for Information Security; Lucas Davi, University of Duisburg-Essen. USENIX Security'22.

  • Keyword: TEE

• 🎓 Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies. Derek Leung, MIT CSAIL; Yossi Gilad, Hebrew University of Jerusalem; Sergey Gorbunov, University of Waterloo; Leonid Reyzin, Boston University; Nickolai Zeldovich, MIT CSAIL. USENIX Security'22.

  • Keyword: Scalability, Wallets

• 🎓 On the Routing-Aware Peering against Network-Eclipse Attacks in Bitcoin. Muoi Tran and Akshaye Shenoi, National University of Singapore; Min Suk Kang, KAIST. USENIX Security'21.

  • Keyword: Network

• 🎓EOSAFE: Security Analysis of EOSIO Smart Contracts. Ningyu He, Key Lab on HCST (MOE), Peking University; Ruiyi Zhang, PeckShield, Inc.; Haoyu Wang, Beijing University of Posts and Telecommunications; Lei Wu, Zhejiang University; Xiapu Luo, The Hong Kong Polytechnic University; Yao Guo, Key Lab on HCST (MOE), Peking University; Ting Yu, Qatar Computing Research Institute; Xuxian Jiang, PeckShield, Inc. USENIX Security'21.

  • Keyword: Smart Contracts

• 🎓Evil Under the Sun: Understanding and Discovering Attacks on Ethereum Decentralized Applications. Liya Su, Indiana University Bloomington and Institute of Information Engineering, University of Chinese Academy of Sciences; Xinyue Shen, Indiana University Bloomington and Alibaba Group; Xiangyu Du, Indiana University Bloomington and Institute of Information Engineering, University of Chinese Academy of Sciences; Xiaojing Liao, XiaoFeng Wang, and Luyi Xing, Indiana University Bloomington; Baoxu Liu, Institute of Information Engineering, University of Chinese Academy of Sciences. USENIX Security'21.

  • Keyword: Attacks,Dapp

• 🎓Frontrunner Jones and the Raiders of the Dark Forest: An Empirical Study of Frontrunning on the Ethereum Blockchain. Christof Ferreira Torres, University of Luxembourg; Ramiro Camino, Luxembourg Institute of Science and Technology; Radu State, University of Luxembourg. USENIX Security'21.

  • Keyword: Security

• 🎓 SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution. Sunbeom So, Seongjoon Hong, and Hakjoo Oh, Korea University. USENIX Security'21.

  • Keyword: Smart Contracts

• 🎓 EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts. Michael Rodler, University of Duisburg-Essen; Wenting Li and Ghassan O. Karame, NEC Laboratories Europe; Lucas Davi, University of Duisburg-Essen. USENIX Security'21.

  • Keyword: Smart Contracts, Ethereum, Patch

• 🎓 Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited. Daniel Perez and Ben Livshits, Imperial College London. USENIX Security'21.

  • Keyword: Smart Contracts, Ethereum, Survey

• 🎓 ETHBMC: A Bounded Model Checker for Smart Contracts Joel Frank, Cornelius Aschermann, and Thorsten Holz, Ruhr-University Bochum. USENIX Security'20.

  • Keyword: Smart Contracts, Formal Methods

• 🎓 An Ever-evolving Game: Evaluation of Real-world Attacks and Defenses in Ethereum Ecosystem. Shunfan Zhou, Zhemin Yang, and Jie Xiang, Fudan University; Yinzhi Cao, Johns Hopkins University; Min Yang and Yuan Zhang, Fudan University. USENIX Security'20.

  • Keyword: Attacks，Smart Contracts

• 🎓 TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, and Zhiqiang Lin, The Ohio State University. USENIX Security'20.

  • Keyword: Attacks

• 🎓 Remote Side-Channel Attacks on Anonymous Transactions. Florian Tramer and Dan Boneh, Stanford University; Kenny Paterson, ETH Zurich. USENIX Security'20.

  • Keyword: Anonymity Privacy, Attacks

• 🎓 BlockSci: Design and applications of a blockchain analysis platform. Harry Kalodner, Malte Möser, and Kevin Lee, Princeton University; Steven Goldfeder, Cornell Tech; Martin Plattner, University of Innsbruck; Alishah Chator, Johns Hopkins University; Arvind Narayanan, Princeton University. USENIX Security'20.

  • Keyword: Security

• 🎓 The Ballot is Busted Before the Blockchain: A Security Analysis of Voatz, the First Internet Voting Application Used in U.S. Federal Elections. Michael A. Specter, James Koppel, and Daniel Weitzner, MIT. USENIX Security'20.

  • Keyword: Security

• 🎓 Pixel: Multi-signatures for Consensus. Manu Drijvers, DFINITY; Sergey Gorbunov, Algorand and University of Waterloo; Gregory Neven, DFINITY; Hoeteck Wee, Algorand and CNRS, ENS, PSL. USENIX Security'20.

  • Keyword: Pixel, Multi-signature, PoS

• 🎓 Tracing Transactions Across Cryptocurrency Ledgers. Haaroon Yousaf, George Kappos, and Sarah Meiklejohn. USENIX Security'19.

  • Keyword: Transaction Analysis

• 🎓 StrongChain: Transparent and Collaborative Proof-of-Work Consensus. Pawel Szalachowski, Daniël Reijsbergen, and Ivan Homoliak, Siwei Sun. USENIX Security'19.

  • Keyword: Consensus

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

  • Keyword: Privacy

• 🎓 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 Security'19.

  • Keyword: Smart Contracts

• 🎓 teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. Johannes K, Christian R. USENIX Security'18.

  • Keyword: Smart Contracts

• 🎓 Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts. Lorenz B, Philip D, Florian T, Ari J. USENIX Security'18.

  • Keyword: Smart Contracts

• 🎓 Arbitrum: Scalable, private smart contracts. Harry K, Steven G, Xiaoqi C, S. Matthew W, Edward W. F. USENIX Security'18.

  • Keyword: Smart Contracts

• 🎓 Erays: Reverse Engineering Ethereum's Opaque Smart Contracts. Yi Z, Deepak K, Surya B, Joshua M, Andrew M, Michael B. USENIX Security'18.

  • Keyword: Smart Contracts

• 🎓 An Empirical Analysis of Anonymity in Zcash. George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn. USENIX Security'18 Security Symposium.

  • Keyword: Anonymity Privacy

• 🎓 Smartpool: Practical decentralized pooled mining. Luu L, Velner Y, Teutsch J, Saxena P. USENIX Security'17.

  • Keyword: Mining

• 🎓 REM: Resource-Efficient Mining for Blockchains. Fan Z, Ittay E, Robert E, Ari J, Robbert van R. USENIX Security'17.

  • Keyword: Mining

• 🎓 Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing. Kogias EK, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. USENIX Security'16.

  • Keyword: ByzCoin, Consensus, PoS

• 🎓 Bitcoin-NG: A Scalable Blockchain Protocol. Eyal I, Gencer AE, Sirer EG, Van Renesse R. USENIX'16.

  • Keyword: Scalability

• 🎓 Eclipse Attacks on Bitcoin's Peer-to-Peer Network. Heilman E, Kendler A, Zohar A, Goldberg S. USENIX Security'15.

  • Keyword: Network

• 🎓 Measuring the Longitudinal Evolution of the Online Anonymous Marketplace Ecosystem. Soska K, Christin N. USENIX Security'15.

  • Keyword: Marketplaces

• 🎓 BlindHub: Bitcoin-Compatible Privacy-Preserving Payment Channel Hubs Supporting Variable Amounts.Qin X, Pan S, Mirzaei A, et al. S&P'23.

  • Keyword: Blind Signature, payment channel

• 🎓 WeRLman: To Tackle Whale (Transactions), Go Deep (RL).R. Bar-Zur, A. Abu-Hanna, I. Eyal and A. Tamar. S&P'23.

  • Keyword: mining

• 🎓 Three Birds with One Stone: Efficient Partitioning Attacks on Interdependent Cryptocurrency Networks. Muhammad Saad ( PayPal ), David Mohaisen ( University of Central Florida ). S&P'23.

  • Keyword: Attacks

• 🎓 Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities. Ertem Nusret Tas ( Stanford University ), David Tse ( Stanford University ), Fangyu Gai ( BabylonChain Inc. ), Sreeram Kannan ( University of Washington, Seattle ), Mohammad Ali Maddah-Ali ( University of Minnesota ), Fisher Yu ( BabylonChain Inc. ). S&P'23.

  • Keyword: Consensus

• 🎓 SoK: Decentralized Finance (DeFi) Attacks. Liyi Zhou ( Imperial College London ), Xihan Xiong ( Imperial College London ), Jens Ernstberger ( Technical University of Munich ), Stefanos Chaliasos ( Imperial College London ), Zhipeng Wang ( Imperial College London ), Ye Wang ( University of Macau ), Kaihua Qin ( Imperial College London ), Roger Wattenhofer ( ETH Zurich ), Dawn Song ( UC Berkeley ), Arthur Gervais ( University College London ). S&P'23.

  • Keyword: Smart Contracts, Attacks

• 🎓 Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains. Ruomu Hou ( National University of Singapore ), Haifeng Yu ( National University of Singapore ). S&P'23.

  • Keyword: Consensus

• 🎓 Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. Yuanliang Chen ( Tsinghua University ), Fuchen Ma ( Tsinghua University ), Yuanhang Zhou ( Tsinghua University ), Yu Jiang ( Tsinghua University ), Ting Chen ( University of Electronic Science and Technology of China ), Jiaguang Sun ( Tsinghua University ). S&P'23.

  • Keyword: Consensus

• 🎓 Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts. Kushal Babel (Cornell Tech), Philip Daian (Cornell Tech), Mahimna Kelkar (Cornell Tech), Ari Juels (Cornell Tech). S&P'23.

  • Keyword: Formal Methods, Smart Contracts

• 🎓 ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs. Samuel Steffen (ETH Zurich), Benjamin Bichsel (ETH Zurich), Roger Baumgartner (ETH Zurich), Martin Vechev (ETH Zurich). S&P'22.

  • Keyword: Privacy, ZKP, HE

• 🎓 MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments. Muhammed F. Esgin (Monash University and CSIRO's Data61, Australia), Ron Steinfeld (Monash University, Australia), Raymond K. Zhao (Monash University, Australia). S&P'22.

  • Keyword: Privacy, Mixing, RS, RingCT, ZKP

• 🎓 Quantifying Blockchain Extractable Value: How dark is the forest?. Kaihua Qin (Imperial College London), Liyi Zhou (Imperial College London), Arthur Gervais (Imperial College London). S&P'22.

  • Keyword: Security

• 🎓 Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains. Sri AravindaKrishnan Thyagarajan (Friedrich Alexander University of Erlangen-Nürnberg), Giulio Malavolta (Max Planck Institute for Security and Privacy), Pedro Moreno-Sanchez (IMDEA Software Institute). S&P'22.

  • Keyword: Interoperability, Security, Atomic Swaps

• 🎓 Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains. Ruomu Hou (National University of Singapore), Haifeng Yu (National University of Singapore), Prateek Saxena (National University of Singapore). S&P'22.

  • Keyword: Consensus, Network

• 🎓 SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. Priyanka Bose (University of California, Santa Barbara), Dipanjan Das (University of California, Santa Barbara), Yanju Chen (University of California, Santa Barbara), Yu Feng (University of California, Santa Barbara), Christopher Kruegel (University of California, Santa Barbara), Giovanni Vigna (UC Santa Barbara)

• 🎓 MANY-OUT-OF-MANY PROOFS and applications to Anonymous Zether. Benjamin E. Diamond (J.P. Morgan). S&P'21.

  • Keyword: Anoymous payment

• 🎓 A2L: Anonymous Atomic Locks for Scalability inPayment Channel Hubs∗. Erkan Tairi (TU Wien), Pedro Moreno-Sanchez (IMDEA Software Institute), Matteo Maffei (TU Wien). S&P'21.

  • Keyword: PC

• 🎓 Compact Certificates of Collective Knowledge. Silvio Micali (Algorand and MIT), Leonid Reyzin (Algorand and Boston University), Georgios Vlachos (), Riad S. Wahby (Algorand and Stanford), Nickolai Zeldovich (Algorand and MIT). S&P'21.

  • Keyword: Certificates

• 🎓 Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma. Joachim Neu (Stanford University), Ertem Nusret Tas (Stanford University), David Tse (Stanford University). S&P'21.

  • Keyword: Consensus

• 🎓 High-Frequency Trading on Decentralized On-Chain Exchanges. Liyi Zhou (Imperial College London), Kaihua Qin (Imperial College London), Christof Ferreira Torres (University of Luxembourg), Duc V Le (Purdue University), Arthur Gervais (Imperial College London), Tyler Crain (University of Sydney), Christopher Natoli (University of Sydney), Vincent Gramoli (University of Sydney and EPFL). S&P'21.

  • Keyword: DEX

• 🎓 Lockable Signatures for Blockchains: Scriptless Scripts for all Signatures. Sri AravindaKrishnan Thyagarajan (Friedrich Alexander Universität Erlangen-Nürnberg), Giulio Malavolta (Max Planck Institute for Security and Privacy). S&P'21.

  • Keyword: PC, BLS

• 🎓 On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols. Varun Madathil (North Carolina State University), Alessandra Scafuro (North Carolina State University), Kartik Nayak (Duke University), Markulf Kohlweiss (University of Edinburgh). S&P'21.

  • Keyword: Proof-of-Stake

• 🎓 On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols. Liyi Zhou (Imperial College London), Kaihua Qin (Imperial College London), Antoine Cully (Imperial College London), Benjamin Livshits (Imperial College London), Arthur Gervais (Imperial College London). S&P'21.

  • Keyword: Defi

• 🎓 SGUARD: Smart Contracts Made Vulnerability-Free. Long H. Pham (Singapore Management University), Jun Sun (Singapore Management University), Tai Duy Nguyen (Singapore Management University). S&P'21.

  • Keyword: Smart Contracts

• 🎓 SmartPulse: Automated Checking of Temporal Properties in Smart Contracts. Jon Stephens (The University of Texas at Austin), Kostas Ferles (The University of Texas at Austin), Benjamin Mariano (The University of Texas at Austin), Shuvendu Lahiri (Microsoft Research), Isil Dillig (The University of Texas at Austin). S&P'21.

  • Keyword: Smart Contracts

• 🎓 ZEXE: Enabling Decentralized Private Computation. Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu. S&P'20.

  • Keyword: ZEXE, Smart Contracts, Privacy, ZKP

• 🎓 OHIE: Blockchain Scaling Made Simple. Haifeng Yu (National University of Singapore); Ivica Nikolic (National University of Singapore); Ruomu Hou(National University of Singapore); Prateek Saxena (National University of Singapore). S&P'20.

  • Keyword: OHIE, Scalaility, Consensus

• 🎓 A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network. Muoi Tran (National University of Singapore); Inho Choi (National University of Singapore); Gi Jun Moon (Korea University); Anh V. Vu (Japan Advanced Institute of Science and Technology); Min Suk Kang (National University of Singapore). S&P'20.

  • Keyword: EREBUS, Attacks

• 🎓 VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. Sunbeom So (Korea University); Myungho Lee (Korea University); Jisu Park (Korea University); Heejo Lee (Korea University); Hakjoo Oh (Korea University). S&P'20.

  • Keyword: VERISMART, Smart Contracts, Formal Methods

• 🎓 FlyClient: Super-Light Clients for Cryptocurrencies. Benedikt Bünz (Stanford University); Lucianna Kiffer (Northeastern University); Loi Lu (Kyber Network); Mahdi Zamani (Visa Research). S&P'20.

  • Keyword: FlyClient, Scalaility, Wallets

• 🎓 VerX: Safety Verification of Smart Contracts. Anton Permenev (ChainSecurity); Dimitar Dimitrov (ETH Zurich); Petar Tsankov (ChainSecurity); Dana Drachsler-Cohen (ETH Zurich); Martin Vechev (ETH Zurich). S&P'20.

  • Keyword: VerX, Smart Contracts, Formal Methods

• 🎓 Threshold ecdsa from ecdsa assumptions: The multiparty case. Doerner J, Kondi Y, Lee E, et al. S&P'19.

  • Keyword: Wallets, TS

• 🎓 Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability. Philip Daian (Cornell Tech, USA); Steven Goldfeder (Cornell Tech, USA); Tyler Kell (Cornell Tech, USA); Yunqi Li (UIUC, USA); Xueyuan Zhao (Carnegie Mellon University, USA); Iddo Bentov (Cornell Tech, USA); Lorenz Breidenbach (ETH Zurich, Switzerland); Ari Juels (Cornell Tech, USA)

  • Keyword: Attacks

• 🎓 Proof-of-Stake Sidechains. Peter Gaži, Aggelos Kiayias, Dionysis Zindros. IEEE S&P'19.

  • Keyword: Sidechain

• 🎓 Blind Certificate Authorities. Liang W, Gilad A, Rafael P, Thomas R, Abhi S. S&P '19.

  • Keyword: Privacy

• 🎓 Bitcoin vs. Bitcoin Cash: Coexistence or Downfall of Bitcoin Cash?. Yujin K, Hyoungshick K, Jinwoo S, Yongdae K. S&P '19.

  • Keyword: Mining

• 🎓 Perun: Virtual payment hubs over cryptocurrencies Dziembowski S, Eckey L, Faust S, Malinowski D. IEEE S&P'19.

  • Keyword: Perun, PC

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

  • Keyword: Consensus, PoW

• 🎓 Redactable Blockchain in the Permissionless Setting. Dominic Deuber, Bernardo Magri, Sri Aravinda Krishnan Thyagarajan. IEEE S&P'19.

  • Keyword: Consensus

• 🎓 Ouroboros Crypsinous: Privacy-Preserving Proof-of-Stake. Thomas Kerber and Markulf Kohlweiss and Aggelos Kiayias and Vassilis Zikas. IEEE S&P'19.

  • Keyword: Consensus, Privacy

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

  • Keyword: XCLAIM, Scalaility

• 🎓 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.

  • Keyword: System

• 🎓 Secure two-party threshold ECDSA from ECDSA assumptions. Doerner J, Kondi Y, Lee E, et al. S&P'18.

  • Keyword: Wallets, TS

• 🎓 Hijacking Bitcoin: Routing Attacks on Cryptocurrencies. Apostolaki M, Zohar A, Vanbever L. S&P'17.

  • Keyword: Network

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

  • Keyword: Hawk, Privacy

• 🎓 The Miner's Dilemma. Ittay Eyal. S&P'15

  • Keyword: Consensus, PoW, Mining

• 🎓 SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies. Bonneau J, Miller A, Clark J, Narayanan A, Kroll JA, Felten EW. S&P'15

  • Type: SoK

• 🎓 Permacoin: Repurposing bitcoin work for data preservation. Miller A, Juels A, Shi E, Parno B, Katz J. Permacoin. S&P'14.

  • Keyword: Consensus, PoW

• 🎓 Zerocash: Decentralized anonymous payments from bitcoin. Sasson EB, Chiesa A, Garman C, Green M, Miers I, Tromer E, Virza M. S&P'14.

  • Keyword: Zerocash, Privacy

• 🎓 Zerocoin: Anonymous distributed e-cash from bitcoin. Miers I, Garman C, Green M, Rubin AD. S&P'13.

  • Keyword: Zerocoin, Privacy

• 🎓 Waks-On/Waks-Off: Fast Oblivious Offline/Online Shuffling and Sorting with Waksman Networks. Sajin Sasy, Aaron Johnson, and Ian Goldberg. University of Waterloo, Waterloo, ON, Canada. CCS'23.

  • Keyword: TEE, attacks

• 🎓 Cybercrime Bitcoin Revenue Estimations: Quantifying the Impact of Methodology and Coverage. Gibran Gomez, Kevin van Liebergen, and Juan Caballero. IMDEA Software Institute & Universidad Politécnica de Madrid, Madrid, Spain. CCS'23.

  • Keyword: applications, crime

• 🎓 SymGX: Detecting Cross-boundary Pointer Vulnerabilities of SGX Applications via Static Symbolic Execution. Yuanpeng Wang, Ziqi Zhang, Ningyu He, Zhineng Zhong, Shengjian Guo, Qinkun Bao, Ding Li, Yao Guo, and Xiangqun Chen. Peking University, Beijing, China. CCS'23.

  • Keyword: TEE, attacks

• 🎓 The Locality of Memory Checking. Weijie Wang, Yujie Lu, Charalampos Papamanthou, and Fan Zhang. Yale University, New Haven, CT, USA. CCS'23.

  • Keyword: scalability

• 🎓 Short Privacy-Preserving Proofs of Liabilities. Francesca Falzon, Kaoutar Elkhiyaoui, Yacov Manevich, and Angelo De Caro. Brown University, University of Chicago, Providence, RI, USA. CCS'23.

  • Keyword: security

• 🎓 Adaptively Secure (Aggregatable) PVSS and Application to Distributed Randomness Beacons. Renas Bacho and Julian Loss. CISPA Helmholtz Center for Information Security & Universität des Saarlandes, Saarbrücken, Germany. CCS'23.

  • Keyword: secret share

• 🎓 FlexiRand: Output Private (Distributed) VRFs and Application to Blockchains. Aniket Kate, Easwar Vivek Mangipudi, Siva Maradana, and Pratyay Mukherjee. Purdue University & Supra Research, West Lafayette, IN, USA. CCS'23.

  • Keyword: VRF

• 🎓 Interchain Timestamping for Mesh Security. Ertem Nusret Tas, Runchao Han, David Tse, and Mingchao Yu. Stanford University, Stanford, CA, USA. CCS'23.

  • Keyword: interoperability

• 🎓 TrustBoost: Boosting Trust among Interoperable Blockchains. Peiyao Sheng, Xuechao Wang, Sreeram Kannan, Kartik Nayak, and Pramod Viswanath. University of Illinois Urbana-Champaign, Urbana, IL, USA. CCS'23.

  • Keyword: interoperability

• 🎓 CryptoConcurrency: (Almost) Consensusless Asset Transfer with Shared Accounts. Andrei Tonkikh, Pavel Ponomarev, Petr Kuznetsov, and Yvonne-Anne Pignolet. Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France. CCS'23.

  • Keyword: interoperability

• 🎓 Accio: Variable-Amount, Optimized-Unlinkable and NIZK-Free Off-Chain Payments via Hubs. Zhonghui Ge, Jiayuan Gu, Chenke Wang, Yu Long, Xian Xu, and Dawu Gu. Shanghai Jiao Tong University, Shanghai, China. CCS'23.

  • Keyword: payment channel

• 🎓 Riggs: Decentralized Sealed-Bid Auctions. Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad Wahby, Joseph Bonneau, and David Mazières. Cornell University, Ithaca, NY, USA. CCS'23.

  • Keyword: applications, auctions

• 🎓 Lanturn: Measuring Economic Security of Smart Contracts Through Adaptive Learning. Kushal Babel, Mojan Javaheripi, Yan Ji, Mahimna Kelkar, Farinaz Koushanfar, and Ari Juels. Cornell Tech & IC3, New York, NY, USA. CCS'23.

  • Keyword: security, auditation

• 🎓 Fuzz on the Beach: Fuzzing Solana Smart Contracts. Erkan Tairi, Pedro Moreno-Sanchez, and Clara Schneidewind. University of Duisburg-Essen, Essen, Germany. CCS'23.

  • Keyword: security, auditation

• 🎓 Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, and Huizhong Li. Tsinghua University, Beijing, China. CCS'23.

  • Keyword: availability

• 🎓 LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures. Erkan Tairi, Pedro Moreno-Sanchez, and Clara Schneidewind. TU Wien, Vienna, Austria. CCS'23.

  • Keyword: system, adaptor signature

• 🎓 Fait Accompli Committee Selection: Improving the Size-Security Tradeoff of Stake-Based Committees. Peter Gai, Aggelos Kiayias, and Alexander Russell. IOG, Bratislava, Slovakia. CCS'23.

  • Keyword: PoS committee

• 🎓 Analyzing the Real-World Security of the Algorand Blockchain. Erica Blum, Derek Leung, Julian Loss, Jonathan Katz, and Tal Rabin. Reed College, Portland, OR, USA. CCS'23.

  • Keyword: Algorand blockchain

• 🎓 ParBFT: Faster Asynchronous BFT Consensus with a Parallel Optimistic Path. Xiaohai Dai, Bolin Zhang, Hai Jin, and Ling Ren. Huazhong University of Science and Technology, Wuhan, China. CCS'23.

  • Keyword: BFT

• 🎓 Towards Practical Sleepy BFT. Dahlia Malkhi, Atsuki Momose, and Ling Ren. Chainlink Labs, San Francisco, CA, USA. CCS'23.

  • Keyword: BFT

• 🎓 Themis: Fast, Strong Order-Fairness in Byzantine Consensus. Mahimna Kelkar, Soubhik Deb, Sishan Long, Ari Juels, and Sreeram Kannan. Cornell Tech, New York, NY, USA. CCS'23.

  • Keyword: consensus

• 🎓 Chipmunk: Better Synchronized Multi-Signatures from Lattices. Nils Fleischhacker, Gottfried Herold, Mark Simkin, and Zhenfei Zhang. Ruhr University Bochum, Bochum, Germany. CCS'23.

  • Keyword: scalability, aggregate signature

• 🎓 Post Quantum Fuzzy Stealth Signatures and Applications. Sihang Pu, Sri AravindaKrishnan Thyagarajan, Nico Döttling, and Lucjan Hanzlik. CISPA Helmholtz Center for Information Security, Saarbruecken, Germany. CCS'23.

  • Keyword: private payments, stealth signature

• 🎓 Under the Dark: A Systematical Study of Stealthy Mining Pools (Ab)use in the Wild. Zhenrui Zhang, Geng Hong, Xiang Li, Zhuoqun Fu, Jia Zhang, Mingxuan Liu, Chuhan Wang, Jianjun Chen, Baojun Liu, Haixin Duan, Chao Zhang, and Min Yang. Tsinghua University, Beijing, China. CCS'23.

  • Keyword: mining pool, survey

• 🎓 Demystifying DeFi MEV Activities in Flashbots Bundle. Zihao Li, Jianfeng Li, Zheyuan He, Xiapu Luo, Ting Wang, Xiaoze Ni, Wenwu Yang, Xi Chen, and Ting Chen. The Hong Kong Polytechnic University, Hong Kong, China. CCS'23.

  • Keyword: attacks

• 🎓 How Hard is Takeover in DPoS Blockchains? Understanding the Security of Coin-based Voting Governance. Chao Li, Balaji Palanisamy, Runhua Xu, Li Duan, Jiqiang Liu, and Wei Wang. Beijing Jiaotong University, Beijing, China. CCS'23.

  • Keyword: attacks

• 🎓 Uncle Maker: (Time)Stamping Out The Competition in Ethereum. Aviv Yaish, Gilad Stern, and Aviv Zohar. The Hebrew University, Jerusalem, Israel. CCS'23.

  • Keyword: attacks

• 🎓 TxPhishScope: Towards Detecting and Understanding Transaction-based Phishing on Ethereum. Bowen He, Yuan Chen, Zhuo Chen, Xiaohui Hu, Yufeng Hu, Lei Wu, Rui Chang, Haoyu Wang, and Yajin Zhou. Zhejiang University, Hangzhou, China. CCS'23.

  • Keyword: attacks

• 🎓 zkBridge: Trustless Cross-chain Bridges Made Practical. Tiancheng Xie (University of California; Berkeley); Jiaheng Zhang (University of California; Berkeley); Zerui Cheng (Tsinghua University); Fan Zhang (Yale University); Yupeng Zhang (Texas A&M University); Yongzheng Jia (Overeality Labs); Dan Boneh (Stanford University); Dawn Song (University of California; Berkeley). CCS'22.

  • Keyword: Interoperability

• 🎓 Watch Your Back: Identifying Cybercrime Financial Relationships in Bitcoin through Back-and-Forth Exploration. Gibran Gomez (IMDEA Software Institute & Universidad Politécnica de Madrid); Pedro Moreno-Sanchez (IMDEA Software Institute); Juan Caballero (IMDEA Software Institute). CCS'22.

  • Keyword: Security, Auditation

• 🎓 Understanding Security Issues in the NFT Ecosystem. Dipanjan Das (University of California; Santa Barbara); Priyanka Bose (University of California; Santa Barbara); Nicola Ruaro (University of California; Santa Barbara); Christopher Kruegel (University of California; Santa Barbara); Giovanni Vigna (University of California; Santa Barbara). CCS'22.

  • Keyword: Security

• 🎓 PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies. Aggelos Kiayias (The University of Edinburgh & IOG); Markulf Kohlweiss (The University of Edinburgh & IOG); Amirreza Sarencheh (The University of Edinburgh & IOG). CCS'22.

  • Keyword: System, Privacy, Auditation

• 🎓 Platypus: A Central Bank Digital Currency with Unlinkable Transactions and Privacy-Preserving Regulation. Karl Wüst (CISPA Helmholtz Center for Information Security); Kari Kostiainen (ETH Zurich); Noah Delius (ETH Zurich); Srdjan Capkun (ETH Zurich). CCS'22.

  • Keyword: System, Privacy, Auditation

• 🎓 Dumbo-NG: Fast Asynchronous BFT Consensus with Throughput-Oblivious Latency. Yingzi Gao (Institute of Software Chinese Academy of Sciences; University of Chinese Academy of Sciences); Yuan Lu (Institute of Software Chinese Academy of Sciences); Zhenliang Lu (The University of Sydney); Qiang Tang (The University of Sydney); Jing Xu (Institute of Software Chinese Academy of Sciences); Zhenfeng Zhang (Institute of Software Chinese Academy of Sciences). CCS'22.

  • Keyword: Consensus, BFT

• 🎓 Bolt-Dumbo Transformer: Asynchronous Consensus As Fast As the Pipelined BFT. Yuan Lu (Institute of Software Chinese Academy of Sciences); Zhenliang Lu (The University of Sydney); Qiang Tang (The University of Sydney). CCS'22.

  • Keyword: Consensus, BFT

• 🎓 ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes. Weili Wang (Southern University of Science and Technology); Sen Deng (Southern University of Science and Technology); Jianyu Niu (Southern University of Science and Technology); Michael K. Reiter (Duke University); Yinqian Zhang (Southern University of Science and Technology). CCS'22.

  • Keyword: Consensus, BFT

• 🎓 Empirical Analysis of EIP-1559: Transaction Fees, Waiting Times, and Consensus Security. Yulin Liu (SciEcon CIC); Yuxuan Lu (Peking University); Kartik Nayak (Duke University); Fan Zhang (Yale University); Luyao Zhang (Duke Kunshan University); Yinhong Zhao (Duke University). CCS'22.

  • Keyword: Consensus
  • Type: Empirical

• 🎓 Thora: Atomic and Privacy-Preserving Multi-Channel Updates. Lukas Aumayr (TU Wien); Kasra Abbaszadeh (University of Maryland); Matteo Maffei (Christian Doppler Laboratory Blockchain Technologies for the Internet of Things & TU Wien). CCS'22.

  • Keyword: PC

• 🎓 i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?. Leemon Baird (Swirlds Labs); Pratyay Mukherjee (Swirlds Labs); Rohit Sinha (Swirlds Labs). CCS'22.

  • Keyword: TRE

• 🎓 Sleepy Channels: Bi-directional Payment Channels without Watchtowers. Lukas Aumayr (TU Wien); Sri AravindaKrishnan Thyagarajan (Carnegie Mellon University); Giulio Malavolta (Max Planck Institute for Security and Privacy); Pedro Moreno-Sanchez (IMDEA Software Institute); Matteo Maffei (Christian Doppler Laboratory Blockchain Technologies for the Internet of Things & TU Wien). CCS'22.

  • Keyword: PC

• 🎓 Practical Settlement Bounds for Proof-of-Work Blockchains. Peter Gaži (IOG); Ling Ren (University of Illinois at Urbana-Champaign); Alexander Russell (University of Connecticut & IOG). CCS'22.

  • Keyword: PoW

• 🎓 Minotaur: Multi-Resource Blockchain Consensus. Matthias Fitzi (IOG); Xuechao Wang (University of Illinois Urbana-Champaign); Sreeram Kannan (University of Washington; Seattle); Aggelos Kiayias (University of Edinburgh and IOG); Nikos Leonardos (University of Athens); Pramod Viswanath (Princeton University); Gerui Wang (Beijing Academy of Blockchain and Edge Computing). CCS'22.

  • Keyword: PoX, PoW, PoS

• 🎓 GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. Bernardo David (ITU); Bernardo Magri (The University of Manchester); Christian Matt (Concordium); Jesper Buus Nielsen (Concordium Blockchain Research Center; Aarhus University); Daniel Tschudi (Concordium). CCS'22.

  • Keyword: Sharding

• 🎓 Foundations of Coin Mixing Services. Noemi Glaeser (University of Maryland & Max Planck Institute for Security and Privacy); Matteo Maffei (TU Wien & Christian Doppler Laboratory Blockchain Technologies for the Internet of Things); Giulio Malavolta (Max Planck Institute for Security and Privacy); Pedro Moreno-Sanchez (IMDEA Software Institute); Erkan Tairi (TU Wien & Christian Doppler Laboratory Blockchain Technologies for the Internet of Things); Sri Aravinda Krishnan Thyagarajan (Carnegie Mellon University). CCS'22.

  • Keyword: Mixing, BS

• 🎓 Zapper: Smart Contracts with Data and Identity Privacy. Samuel Steffen (ETH Zurich); Benjamin Bichsel (ETH Zurich); Martin Vechev (ETH Zurich). CCS'22.

  • Keyword: Smart Contracts, ZKP

• 🎓 VRust: Automated Vulnerability Detection for Solana Smart Contracts. Siwei Cui (Texas A&M University); Gang Zhao (Texas A&M University); Yifei Gao (Texas A&M University); Tien Tavu (Texas A&M University); Jeff Huang (Texas A&M University). CCS'22.

  • Keyword: Smart Contracts

• 🎓 Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. Yue Duan (Illinois Institute of Technology); Xin Zhao (Nanjing University); Yu Pan (University of Utah); Shucheng Li (Nanjing University); Minghao Li (Harvard University); Fengyuan Xu (National Key Lab for Novel Software Technology; Nanjing University); Mu Zhang (University of Utah). CCS'22.

  • Keyword: Formal Methods, Smart Contracts

• 🎓 ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange. Yun Li (Institute for Network Sciences and Cyberspace of Tsinghua University); Cun Ye (SECBIT Labs, kecheng corp); Yuguang Hu (SECBIT Labs); Ivring Morpheus (SECBIT Labs); Guo Yu (SECBIT Labs); Chao Zhang (Institute for Network Science and Cyberspace of Tsinghua University); Yupeng Zhang (Texas A&M University); Zhipeng Sun (SECBIT Labs); Yiwen Lu (SECBIT Labs); Haodi Wang (Beijing Normal University). CCS'21.

  • Keyword: Security

• 🎓 DETER: Denial of Ethereum Txpool sERvices. Kai Li (Syracuse University); Yibo Wang (Syracuse University); Yuzhe Tang (Syracuse University). CCS'21.

  • Keyword: Security, Attack

• 🎓 SyncAttack: Double-spending in Bitcoin Without Mining Power. Muhammad Saad (University of Central Florida); Songqing Chen (George Mason University); David Mohaisen (University of Central Florida). CCS'21.

  • Keyword: Security, Attack

• 🎓 How Does Blockchain Security Dictate Blockchain Implementation?. Andrew Lewis-Pye (London School of Economics); Tim Roughgarden (Columbia University). CCS'21.

  • Keyword: Consensus, Security

• 🎓 The Exact Security of BIP32 Wallets. Poulami Das (Technische Universität Darmstadt); Andreas Erwig (Technische Universität Darmstadt); Sebastian Faust (Technische Universität Darmstadt); Julian Loss (University of Maryland); Siavash Riahi (Technische Universität Darmstadt). CCS'21.

  • Keyword: Wallets, Security, Formal Methods

• 🎓 Mining in Logarithmic Space. Aggelos Kiayias (University of Edinburgh and IOHK); Nikos Leonardos (University of Athens); Dionysis Zindros (University of Athens). CCS'21.

  • Keyword: Consensus, Scalability

• 🎓 A Security Framework for Distributed Ledgers. Christoph Egger (Friedrich-Alexander University Erlangen-Nürnberg); Mike Graf (University of Stuttgart); Ralf Küsters (University of Stuttgart); Daniel Rausch (University of Stuttgart); Viktoria Ronge (Friedrich-Alexander University Erlangen-Nürnberg); Dominique Schröder (Friedrich-Alexander University Erlangen-Nürnberg). CCS'21.

  • Keyword: Security

• 🎓 Revisiting Nakamoto Consensus in Asynchronous Networks: A Comprehensive Analysis of Bitcoin Safety and Chain Quality. Muhammad Saad (University of Central Florida); Afsah Anwar (University of Central Florida); Srivatsan Ravi (University of Southern California); David Mohaisen (University of Central Florida). CCS'21.

  • Keyword: Consensus

• 🎓 eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. Clara Schneidewind (TU Wien); Markus Scherer (TU Wien); Ilya Grishchenko (TU Wien); Matteo Maffei (TU Wien). CCS'20.

  • Keyword: eThor, Smart Contracts

• 🎓 ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts. Karl Wüst (ETH Zurich); Sinisa Matetic (ETH Zurich); Silvan Egli (ETH Zurich); Kari Kostiainen (ETH Zurich); Srdjan Capkun (ETH Zurich). CCS'20.

  • Keyword: ACE, Smart Contracts

• 🎓 BDoS: Blockchain Denial-of-Service Attacks. Michael Mirkin (Technion); Yan Ji (Cornell Tech); Jonathan Pang (Cornell University); Ariah Klages-Mundt (Cornell University); Ittay Eyal (Technion); Ari Juels (Cornell Tech). CCS'20.

  • Keyword: Attacks

• 🎓 Dumbo: Faster Asynchronous BFT Protocols. Bingyong Guo (Institute of Software, Chinese Academy of Sciences; State Key Laboratory of Cryptology; School of Computer Science and Technology, University of Chinese Academy of Sciences; JDD-NJIT-ISCAS Joint Blockchain Lab); Zhenliang Lu (New jersey institute of technology; JDD-NJIT-ISCAS Joint Blockchain Lab); Qiang Tang (New Jersey Institute of Technology; JDD-NJIT-ISCAS Joint Blockchain Lab); Jing Xu (Institute of Software, Chinese Academy of Sciences; JDD-NJIT-ISCAS Joint Blockchain Lab); Zhenfeng Zhang (Institute of Software, Chinese Academy of Sciences; JDD-NJIT-ISCAS Joint Blockchain Lab). CCS'20

  • Keyword: Dumbo, Consensus

• 🎓 Efficient Publicly Verifiable 2PC over a Blockchain with Applications to Financially-Secure Computations. Ruiyu Zhu, Changchang Ding, Yan Huang. CCS'19.

  • Keyword: Consensus, MPC

• 🎓 Erlay: Efficient Transaction Relay for Bitcoin. Gleb Naumenko, Gregory Maxwell, Pieter Wuille, Alexandra (Sasha) Fedorova, Ivan Beschastnikh. CCS'19.

  • Keyword: Erlay, Scalability, Network

• 🎓 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.

  • Keyword: HyperService, Sidechain, Interoperability, Programmability

• 🎓 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.

  • Keyword: MatRiCT, Privacy, Wallets, RingCT, Post-quantum

• 🎓 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.

  • Keyword: Omniring, Payment, RingCT

• 🎓 Prism: Deconstructing the Blockchain to Approach Physical Limits. Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti, Pramod Viswanath. CCS'19.

  • Keyword: Prism, Consensus, PoW

• 🎓 Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin Vechev. CCS'19.

  • Keyword: Smart Contracts

• 🎓 zkay: Specifying and Enforcing Data Privacy in Smart Contracts. Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev. CCS'19.

  • Keyword: zkay, Smart Contracts

• 🎓 SAMPL: Scalable Auditability of Monitoring Processes using Public Ledgers. Roopa Vishwanathan, Gaurav Panwar, Satyajayant Misra, Austin Bos. CCS'19.

  • Keyword: SAMPL, Ledger

• 🎓 Atomic Multi-Channel Updates with Constant Collateral in Payment-Channel Networks. Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei. CCS'19.

  • Keyword: PC

• 🎓 Fast multiparty threshold ecdsa with fast trustless setup. Gennaro R, Goldfeder S. CCS'18.

  • Keyword: Wallets, TS

• 🎓 Fast secure multiparty ecdsa with practical distributed key generation and applications to cryptocurrency custody. Lindell Y, Nof A. CCS'18.

  • Keyword: Wallets, TS

• 🎓 General State Channel Networks Dziembowski S, Faust S, Hostáková K. CCS'18.

  • Keyword: PC

• 🎓 Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. Badertscher C, Gazi P, Kiayias A, Russell A, Zikas V. CCS'18.

  • Keyword: PoS

• 🎓 FairSwap: How to fairly exchange digital goods Dziembowski S, Faust S, Eckey L. CCS'18.

  • Keyword: FairSwap, System

• 🎓 RapidChain: Scaling Blockchain via Full Sharding. Mahdi Zamani, Mahnush Movahedi, Mariana Raykova. CCS'18.

  • Keyword: RapidChain, System

• 🎓 The Gap Game. Tsabary I., Eyal I. CCS'18.

  • Keyword: Economics

• 🎓 Concurrency and Privacy with Payment-Channel Networks. Malavolta G, Moreno-Sanchez P, Kate A, Maffei M, Ravi S. CCS '17.

  • Keyword: PC

• 🎓 Revive: Rebalancing Off-Blockchain Payment Channel Networks. Khalil, R., & Gervais, A. CCS'17.

  • Keyword: PC

• 🎓 Bolt: Anonymous Payment Channels for Decentralized Currencies Green M, Miers I. CCS'16.

  • Keyword: PC

• 🎓 The Honey Badger of BFT Protocols. Miller A, Xia Y, Croman K, Shi E, Song D. CCS'16.

  • Keyword: System

• 🎓 A secure sharding protocol for open blockchains. Luu L, Narayanan V, Zheng C, Baweja K, Gilbert S, Saxena P. CCS '16.

  • Keyword: Elastico, Sharding, Scalability

• 🎓 On the instability of Bitcoin without the block reward. Carlsten M, Kalodner H, Weinberg SM, Narayanan A. CCS'16.

  • Keyword: Economics

• 🎓 On the Security and Performance of Proof of Work Blockchains. Gervais A, Karame GO, Wüst K, Glykantzis V, Ritzdorf H, Capkun S. CCS '16.

  • Keyword: Mining

• 🎓 Making Smart Contracts Smarter. Luu L, Chu DH, Olickel H, Saxena P, Hobor A. CCS'16.

  • Keyword: Smart Contracts

• 🎓 The Honey Badger of BFT Protocols. Miller A, Xia Y, Croman K, Shi E, Song D. CCS'16.

  • Keyword: Network

• 🎓 On the instability of Bitcoin without the block reward. Carlsten M, Kalodner H, Weinberg SM, Narayanan A. CCS'16.

  • Keyword: Economic

• 🎓 Town crier: An authenticated data feed for smart contracts. Zhang F, Cecchetti E, Croman K, Juels A, Shi E. CCS'16.

  • Keyword: Smart Contracts

• 🎓 Making Smart Contracts Smarter. Luu L, Chu DH, Olickel H, Saxena P, Hobor A. CCS'16.

  • Keyword: Oyente, Smart Contracts

• 🎓 The Ring of Gyges: Investigating the Future of Criminal Smart Contracts. Juels A, Kosba A, Shi E. CCS'16.

  • Keyword: Smart Contracts

• 🎓 Town crier: An authenticated data feed for smart contracts. Zhang F, Cecchetti E, Croman K, Juels A, Shi E. CCS'16.

  • Keyword: Smart Contracts

• 🎓 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.

  • Keyword: Privacy

• 🎓 A Secure Sharding Protocol For Open Blockchains. Loi Luu, Viswesh Narayanan, Chaodong Zheng, Kunal Baweja, Seth Gilbert, Prateek Saxena. CCS'16.

  • Keyword: System

• 🎓 Demystifying incentives in the consensus computer. Loi Luu, Jason Teutsch, Raghav Kulkarni and Prateek Saxena. CCS'15

  • Keyword: Economic

• 🎓 Tampering with the Delivery of Blocks and Transactions in Bitcoin.Gervais, Arthur and Ritzdorf, Hubert and Karame, Ghassan O. and Capkun, Srdjan. CCS'15

  • Keyword: Network, Consensus, PoW

• 🎓 Non-outsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. Andrew Miller, Elaine Shi, Ahmed Kosba, and Jonathan Katz. CCS'15

  • Keyword: Consensus, PoW, Mining

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

  • Keyword: Privacy

• 🎓 Deanonymisation of Clients in Bitcoin P2P Network. Biryukov A, Khovratovich D, Pustogarov I. CCS'14.

  • Keyword: Privacy

• 🎓 Double-Spending Fast Payments in Bitcoin. Karame, Ghassan O. and Androulaki, Elli and Capkun, Srdjan. CCS'12.

  • Keyword: Consensus, PoW, Mining

• 🎓 Partitioning Ethereum without Eclipsing It. Hwanjo Heo (ETRI), Seungwon Woo (ETRI/KAIST), Taeung Yoon (KAIST), Min Suk Kang (KAIST), Seungwon Shin (KAIST). NDSS'23

  • Keyword: auditation, attacks

• 🎓 OptRand: Optimistically Responsive Reconfigurable Distributed Randomness. Adithya Bhat (Purdue University), Nibesh Shrestha (Rochester Institute of Technology), Aniket Kate (Purdue University), Kartik Nayak (Duke University). NDSS'23

  • Keyword: composition, ZKP

• 🎓 LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. Fuchen Ma (Tsinghua University), Yuanliang Chen (Tsinghua University), Meng Ren (Tsinghua University), Yuanhang Zhou (Tsinghua University), Yu Jiang (Tsinghua University), Ting Chen (University of Electronic Science and Technology of China), Huizhong Li (WeBank), Jiaguang Sun (School of Software, Tsinghua University). NDSS'23

  • Keyword: auditation, attacks

• 🎓 He-HTLC: Revisiting Incentives in HTLC. Sarisht Wadhwa (Duke University), Jannis Stoeter (Duke University), Fan Zhang (Duke University, Yale University), Kartik Nayak (Duke University). NDSS'23

  • Keyword: composition, attacks

• 🎓 Double and Nothing: Understanding and Detecting Cryptocurrency Giveaway Scams. Xigao Li (Stony Brook University), Anurag Yepuri (Stony Brook University), Nick Nikiforakis (Stony Brook University). NDSS'23

  • Keyword: attacks

• 🎓 Cryptographic Oracle-based Conditional Payments. Varun Madathil (North Carolina State University), Sri Aravinda Krishnan Thyagarajan (NTT Research), Dimitrios Vasilopoulos (IMDEA Software Institute), Lloyd Fournier (None), Giulio Malavolta (Max Planck Institute for Security and Privacy), Pedro Moreno-Sanchez (IMDEA Software Institute). NDSS'23

  • Keyword: privacy, threshold signature

• 🎓 Breaking and Fixing Virtual Channels: Domino Attack and Donner. Lukas Aumayr (TU Wien), Pedro Moreno-Sanchez (IMDEA Software Institute), Aniket Kate (Purdue University / Supra), Matteo Maffei (Christian Doppler Laboratory Blockchain Technologies for the Internet of Things / TU Wien). NDSS'23

  • Keyword: layer 2, attacks

• 🎓 BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects. Xiao Yi (The Chinese University of Hong Kong), Yuzhou Fang (The Chinese University of Hong Kong), Daoyuan Wu (The Chinese University of Hong Kong), Lingxiao Jiang (Singapore Management University). NDSS'23

  • Keyword: attacks, auditation

• 🎓 Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. Christoph Sendner (University of Wuerzburg), Huili Chen (University of California San Diego), Hossein Fereidooni (Technische Universität Darmstadt), Lukas Petzi (University of Wuerzburg), Jan König (University of Wuerzburg), Jasper Stang (University of Wuerzburg), Alexandra Dmitrienko (University of Wuerzburg), Ahmad-Reza Sadeghi (Technical University of Darmstadt), Farinaz Koushanfar (University of California San Diego). NDSS'23

  • Keyword: smart contract , auditation

• 🎓 POSE: Practical Off-chain Smart Contract Execution. Tommaso Frassetto (Technical University of Darmstadt), Patrick Jauernig (Technical University of Darmstadt), David Koisser (Technical University of Darmstadt), David Kretzler (Technical University of Darmstadt), Benjamin Schlosser (Technical University of Darmstadt), Sebastian Faust (Technical University of Darmstadt), Ahmad-Reza Sadeghi (Technical University of Darmstadt). NDSS'23

  • Keyword: layer2, TEE, smart contract

• 🎓 NC-Max: Breaking the Security-Performance Tradeoff in Nakamoto Consensus. Ren Zhang, Dingwei Zhang, and Quake Wang (Nervos); Shichen Wu (Shandong University); Jan Xie (Nervos); Bart Preneel (imec-COSIC, KU Leuven). NDSS'22

  • Keyword: Consensus, Scalability, Network

• 🎓 Speeding Dumbo: Pushing Asynchronous BFT to Practice. Bingyong Guo (Institute of Software, Chinese Academy of Sciences); Yuan Lu (Institute of Software Chinese Academy of Sciences); Zhenliang Lu and Qiang Tang (The University of Sydney); jing xu (Institute of Software, Chinese Academy of Sciences); Zhenfeng Zhang (TCA of State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences). NDSS'22

  • Keyword: Consensus, Scalability

• 🎓 As Strong As Its Weakest Link: How to Break Blockchain DApps at RPC Service. Kai Li, Jiaqi Chen, Xianghong Liu, and Yuzhe Tang (Syracuse University); XiaoFeng Wang (Indiana University Bloomington); Xiapu Luo (The Hong Kong Polytechnic University). NDSS'21

  • Keyword: Attacks, Network

• 🎓 Bitcontracts: Supporting Smart Contracts in Legacy Blockchains. Karl Wüst, Loris Diana, and Kari Kostiainen (ETH Zurich); Ghassan Karame (NEC Laboratories Europe GmbH); Sinisa Matetic and Srdjan Capkun (ETH Zurich). NDSS'21

  • Keyword: Smart Contracts

• 🎓 SquirRL: Automating Attack Analysis on Blockchain Incentive Mechanisms with Deep Reinforcement Learning. Charlie Hou (CMU, IC3); Mingxun Zhou (Peking University); Yan Ji and Phil Daian (Cornell Tech, IC3); Florian Tramèr (Stanford University); Giulia Fanti (CMU, IC3); Ari Juels (Cornell Tech, IC3). NDSS'21

  • Keyword: SquirRL, Attacks, Mining

• 🎓 Bobtail: Improved Blockchain Security with Low-Variance Mining. George Bissias (University of Massachusetts Amherst), Brian N. Levine (University of Massachusetts Amherst). NDSS'20

  • Keyword: Bobtail, Mining

• 🎓 Snappy: Fast On-chain Payments with Practical Collaterals. Vasilios Mavroudis (University College London), Karl Wüst (ETH Zurich), Aritra Dhar (ETH Zurich), Kari Kostiainen (ETH Zurich), Srdjan Capkun (ETH Zurich). NDSS'20

  • Keyword: Snappy, Scalability

• 🎓 The Attack of the Clones Against Proof-of-Authority. Parinya Ekparinya (University of Sydney), Vincent Gramoli (University of Sydney and CSIRO-Data61), Guillaume Jourjon (CSIRO-Data61). NDSS'20

  • Keyword: Attacks

• 🎓 Broken Metre: Attacking Resource Metering in EVM. Daniel Perez (Imperial College London), Benjamin Livshits (Imperial College London, UCL Centre for Blockchain Technologies, and Brave Software). NDSS'20

  • Keyword: Attacks

• 🎓 SODA: A Generic Online Detection Framework for Smart Contracts. Ting Chen (University of Electronic Science and Technology of China), Rong Cao (University of Electronic Science and Technology of China), Ting Li (University of Electronic Science and Technology of China), Xiapu Luo (The Hong Kong Polytechnic University), Guofei Gu (Texas A&M University), Yufei Zhang (University of Electronic Science and Technology of China), Zhou Liao (University of Electronic Science and Technology of China), Hang Zhu (University of Electronic Science and Technology of China), Gang Chen (Chengdu Kongdi Technology Inc.), Zheyuan He (University of Electronic Science and Technology of China), Yuxing Tang (University of Electronic Science and Technology of China), Xiaodong Lin (University of Guelph), Xiaosong Zhang (University of Electronic Science and Technology of China). NDSS'20

  • Keyword: Smart Contracts, Formal Methods

• 🎓 Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability. Malavolta G, Moreno-Sanchez P, Schneidewind C, Kate A, Maffei M. NDSS'19.

  • Keyword: Payment Channels
  • Github: https://github.com/KZen-networks/multi-hop-locks

• 🎓 SABRE: Protecting Bitcoin against Routing Attacks. Maria Apostolaki, Gian Marti, Jan Müller, and Laurent Vanbever. NDSS'19.

  • Keyword: Network

• 🎓 Seth: Protecting Existing Smart Contracts Against Re-Entrancy Attacks. Michael Rodler, Wenting Li and Ghassan Karame, Lucas Davi. NDSS'19.

  • Keyword: Smart Contracts

• 🎓 YODA: Enabling computationally intensive contracts on blockchains with Byzantine and Selfish nodes. Sourav Das, Vinay Joseph Ribeiro, and Abhijeet Anand. NDSS'19.

  • Keyword: Smart Contracts

• 🎓 Fine-Grained and Controlled Rewriting in Blockchains: Chameleon-Hashing Gone Attribute-Based. David Derler, Kai Samelin, Daniel Slamanig and Christoph Striecks. NDSS'19.

  • Keyword: Cryptograph

• 🎓 Privacy-preserving Multi-hop Locks for Blockchain Scalability and Interoperability. Giulio Malavolta, Pedro Moreno Sanchez, Clara Schneidewind and Matteo Maffei, Aniket Kate. NDSS'19.

  • Keyword: Scalability, Layer 2

• 🎓 "Zeus": Analyzing Safety of Smart Contracts. Kalra S, Goel S, Dhawan M, Sharma S. NDSS'18.

  • Keyword: Economic, Smart Contracts

• 🎓 Chainspace: A Sharded Smart Contracts Platform. Mustafa Al-Bassam, Alberto Sonnino, Shehar Bano, Dave Hrycyszyn, and George Danezis. NDSS'18.

  • Keyword: Chainspace, System

• 🎓 Settling Payments Fast and Private: Efficient Decentralized Routing for Path-Based Transactions. Stefanie Roos, Pedro Moreno-Sanchez, Aniket Kate, and Ian Goldberg. NDSS'18.

  • Keyword: Scalability, Layer 2

• 🎓 TumbleBit: An untrusted Bitcoin-compatible anonymous payment hub. Heilman E, Alshenibr L, Baldimtsi F, Scafuro A, Goldberg S. NDSS'17.

  • Keyword: TumbleBit, Privacy

• 🎓 Centrally banked cryptocurrencies. Danezis G, Meiklejohn S. NDSS'16.

  • Keyword: Consensus, RSCoin

• 🎓 Order-Fairness for Byzantine Consensus. Mahimna Kelkar, Fan Zhang, Steven Goldfeder, Ari Juels. CRYPTO'20

  • Keyword: Consensus

• 🎓 Two-party ECDSA from hash proof systems and efficient instantiations. Castagnos G, Catalano D, Laguillaumie F, et al. CRYPTO'19.

  • Keyword: Wallets, TS

• 🎓 Threshold cryptosystems from threshold fully homomorphic encryption. Boneh D, Gennaro R, Goldfeder S, et al. CRYPTO'18.

  • Keyword: Wallets, TS

• 🎓 Bitcoin as a Transaction Ledger: A Composable Treatment. Badertscher C., Maurer U., Tschudi D., Zikas V. CRYPTO'17.

  • Keyword: Wallets

• 🎓 Fast secure two-party ECDSA signing. Lindell Y. CRYPTO'17.

  • Keyword: Wallets, TS

• 🎓 The Bitcoin Backbone Protocol with Chains of Variable Difficulty. Juan A. Garay and Aggelos Kiayias and Nikos Leonardos. CRYPTO'17.

  • Keyword: Consensus, PoS

• 🎓 Ouroboros: A provably secure proof-of-stake blockchain protocol. Kiayias A, Russell A, David B, Oliynykov R. CRYPTO'17.

  • Keyword: Ouroboros, PoS

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

  • Keyword: Ouroboros Praos, Consensus, PoS

• 🎓 How to Use Bitcoin to Design Fair Protocols. Bentov I, Kumaresan R. CRYPTO'14.

  • Keyword: Economics

• 🎓 Two-party generation of DSA signatures. MacKenzie P, Reiter M K. CRYPTO'01

  • Keyword: Wallets, TS

• 🎓 Pricing via processing or combatting junk mail. Dwork C, Naor M. CRYPTO'92.

  • Keyword: Consensus, PoS, Proof-of-Work

• 🎓 Blind signatures for untraceable payments. Chaum D. CRYPTO'83.

  • Keyword: Privacy, BS

no papers directly related to blockchain in EUROCRYPTO'20,21

• 🎓 Consensus through Herding. T-H. Hubert Chan Rafael Pass Elaine Shi. EUROCRYPT'19.

  • Keyword: Consensus

• 🎓 Proof-of-Stake Protocols for Privacy-Aware Blockchains. Chaya Ganesh Claudio Orlandi Daniel Tschudi. EUROCRYPT'19.

  • Keyword: PoS

• 🎓 Multi-Party Virtual State Channels. Stefan Dziembowski Lisa Eckey Sebastian Faust Julia Hesse Kristina Hostáková. EUROCRYPT'19.

  • Keyword: PC

• 🎓 Aggregate Cash Systems: A Cryptographic Investigation of Mimblewimble. Georg Fuchsbauer Michele Orrù Yannick Seurin. EUROCRYPT'19.

  • Keyword: System

• 🎓 Analysis of the Blockchain Protocol in Asynchronous Networks. Pass R, Seeman L, shelat a. EUROCRYPT'17

  • Keyword: Consensus-PoW

• 🎓 Fair and Robust Multi-Party Computation using a Global Transaction Ledger. Kiayias A., Zhouh S., Zikas V. EUROCRYPT'16.

  • Keyword: Applications

• 🎓 The Bitcoin Backbone Protocol: Analysis and Applications. Garay J, Kiayias A, Leonardos N. EUROCRYPT'15.

  • Keyword: Consensus, PoW

• 🎓 Practical threshold signatures. Shoup V. EUROCRYPT'00.

  • Keyword: Wallets, TS

• 🎓 Secure distributed key generation for discrete-log based cryptosystems. Gennaro R, Jarecki S, Krawczyk H, et al. EUROCRYPT'99

  • Keyword: Wallets, TS

• 🎓 Prophet: Conflict-Free Sharding Blockchain via Byzantine-Tolerant Deterministic Ordering. Zicong Hong (The Hong Kong Polytechnic University, China); Song Guo and Enyuan Zhou (The Hong Kong Polytechnic University, Hong Kong); Jianting Zhang (Purdue University, USA); Chen Wuhui (Sun Yat-sen University, China); Jinwen Liang and Jie Zhang (The Hong Kong Polytechnic University, Hong Kong); Albert Zomaya (The University of Sydney, Australia). INFOCOM'23

  • Keyword: sharding, BFT

• 🎓 CoChain: High Concurrency Blockchain Sharding via Consensus on Consensus. Mingzhe Li (Hong Kong University of Science and Technology, Hong Kong); You Lin (Southern University of Science and Technology, China); Jin Zhang (Southern University of Science and Technology, USA); Wei Wang (Hong Kong University of Science and Technology, Hong Kong). INFOCOM'23

  • Keyword: sharding, concurrency

• 🎓 Latency-First Smart Contract: Overclock the Blockchain for a while. Huayi Qi, Minghui Xu and Xiuzhen Cheng (Shandong University, China); Weifeng Lv (Beijing University of Aeronautics and Astronautics, China). INFOCOM'23

  • Keyword: scalability, concurrency

• 🎓 Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems. Mingxun Zhou (Carnegie Mellon University, USA); Yilin Han (Shanghai Tree-Graph Blockchain Research Institute, China); Liyi Zeng (Tsinghua University, China); Peilun Li (Shanghai Tree-Graph Blockchain Research Institute, China); Fan Long (University of Toronto, Canada); Dong Zhou (IMO Ventures, China); Ivan Beschastnikh (University of British Columbia, Canada); Ming Wu (Shanghai Tree-Graph Blockchain Research Institute, China). INFOCOM'23

  • Keyword: scalability

• 🎓 A Decentralized Truth Discovery Approach to the Blockchain Oracle Problem. Yang Xiao (University of Kentucky, USA); Ning Zhang (Washington University in St. Louis, USA); Wenjing Lou and Thomas Hou (Virginia Tech, USA). INFOCOM'23

  • Keyword: security, oracle

• 🎓 BrokerChain: A Cross-Shard Blockchain Protocol for Account/Balance-based State Sharding. H. Huang et al. INFOCOM'22

  • Keyword: network, scalability

• 🎓 Payment Channel Networks: Single-Hop Scheduling for Throughput Maximization. N. Papadis and L. Tassiulas. INFOCOM'22

  • Keyword: payment channel

• 🎓 Dino: A Block Transmission Protocol with Low Bandwidth Consumption and Propagation Latency. Z. Hu and Z. Xiao. INFOCOM'22

  • Keyword: network, scalability

• 🎓 S-Store: A Scalable Data Store towards Permissioned Blockchain Sharding. X. Qi. INFOCOM'22

  • Keyword: system, scalability

• 🎓 DiFi: A Go-as-You-Pay Wi-Fi Access System. L. Shi, R. Tian, X. Wang and R. T. B. Ma. INFOCOM'22

  • Keyword: smart contracts, applications

• 🎓 Blockchain Based Non-repudiable IoT Data Trading: Simpler, Faster, and Cheaper. F. Chen, J. Wang, C. Jiang, T. Xiang and Y. Yang. INFOCOM'22

  • Keyword: smart contracts, applications

• 🎓 Counter-Collusion Smart Contracts for Watchtowers in Payment Channel Networks. Yuhui Zhang, Dejun Yang, Guoliang Xue, Ruozhou Yu. INFOCOM'21

  • Keyword: Scalability-PC

• 🎓 Code is the (F)Law: Demystifying and Mitigating Blockchain Inconsistency Attacks Caused by Software Bugs. Guorui Yu, Shibin Zhao, Chao Zhang, Zhiniang Peng, Yuandong Ni, Xinhui Han. INFOCOM'21

  • Keyword: Attacks

• 🎓 Pyramid: A Layered Sharding Blockchain System. Zicong Hong, Song Guo, Peng Li, Wuhui Chen. INFOCOM'21

  • Keyword: Scalability

• 🎓 Lifesaving with RescueChain: Energy-Efficient and Partition-Tolerant Blockchain Based Secure Information Sharing for UAV-Aided Disaster Rescue. Yuntao Wang, Zhou Su, Qichao Xu, Ruidong Li, Tom H. Luan. INFOCOM'21

  • Keyword: Scalability

• 🎓 A Weak Consensus Algorithm and Its Application to High-Performance Blockchain. Qin Wang, Rujia Li. INFOCOM'21

  • Keyword: Consensus-BFT

• 🎓 On the Performance of Pipelined HotStuff. Jianyu Niu, Fangyu Gai, Mohammad M. Jalalzai, Chen Feng. INFOCOM'21

  • Keyword: Consensus-BFT

• 🎓 Modeling the Impact of Network Connectivity on Consensus Security of Proof-of-Work Blockchain. Yang Xiao (Virginia Tech, USA); Ning Zhang (Washington University in St. Louis, USA); Wenjing Lou and Thomas Hou (Virginia Tech, USA). INFOCOM'20

  • Keyword: Consensus-PoW, Security

• 🎓 Secure Balance Planning of Off-blockchain Payment Channel Networks. Peng Li and Toshiaki Miyazaki (The University of Aizu, Japan); Wanlei Zhou (University of Technology Sydney, Australia). INFOCOM'20

  • Keyword: PC

• 🎓 Corking by Forking: Vulnerability Analysis of Blockchain. Shengling Wang and Chenyu Wang, Qin Hu. INFOCOM'19

  • Keyword: Security

• 🎓 ACCEL: Accelerating the Bitcoin Blockchain for High-throughput, Low-latency Applications. Adiseshu Hari, Murali Kodialam, T. V Lakshman. INFOCOM'19

  • Keyword: Scalability

• 🎓 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

  • Keyword: Application

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

  • Keyword: Network

• 🎓 Understanding ethereum via graph analysis. Ting Chen,Yuxiao Zhu, Zihao Li, Jiachi Chen, Xiaoqi Li, Xiapu Luo, Xiaodong Lin, Xiaodong Lin. INFOCOM'18

  • Keyword: Transaction

• 🎓 QuePaxa: Escaping the tyranny of timeouts in consensus. Pasindu Tennage (Ecole Polytechnique Federale de Lausanne (EPFL)), Cristina Basescu (Ecole Polytechnique Federale de Lausanne (EPFL)), Lefteris Kokoris-Kogias (IST Austria, Mysten Labs), Ewa Syta (Trinity College), Philipp Jovanovic (UCL), Vero Estrada-Galinanes (Ecole Polytechnique Federale de Lausanne (EPFL)) and Bryan Ford (Ecole Polytechnique Federale de Lausanne (EPFL)). SOSP'23

  • Keyword: leader-based consensus

• 🎓 Flexible Advancement in Asynchronous BFT Consensus. Shengyun Liu (Shanghai Jiao Tong University), Wenbo Xu (Blockchain Platform Division, Ant Group), Chen Shan (Blockchain Platform Division, Ant Group), Xiaofeng Yan (Blockchain Platform Division, Ant Group), Tianjing Xu (Blockchain Platform Division, Ant Group), Bo Wang (Blockchain Platform Division, Ant Group), Lei Fan (Shanghai Jiao Tong University), Fuxi Deng (Blockchain Platform Division, Ant Group), Ying Yan (Blockchain Platform Division, Ant Group) and Hui Zhang (Blockchain Platform Division, Ant Group). SOSP'23

  • Keyword: BFT

• 🎓 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), Xian Zhang (Microsoft Research). SOSP'21

  • Keyword: Concurrency

• 🎓 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), Luís Rodrigues (INESC-ID, IST, U. Lisboa). SOSP'21

  • Keyword: Consensus-BFT

• 🎓 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), Heming Cui (The University of Hong Kong). SOSP'21

  • Keyword: Consensus-BFT

• 🎓 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), Natacha Crooks (UC Berkeley). SOSP'21

  • Keyword: Consensus-BFT

• 🎓 Teechain: A Secure Payment Network with Asynchronous Blockchain Access. Joshua Lind, Oded Naor, Ittay Eyal, Florian Kelbert, Peter Pietzuch, Emin Gun Sirer. SOSP'19

  • Keyword: PC

• 🎓 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

  • Keyword: Consensus

• 🎓 Notary: A Device for Secure Transaction Approval. Anish Athalye, Adam Belay, Frans Kaashoek, Robert Morris, Nickolai Zeldovich. SOSP'19

  • Keyword: Consensus

• 🎓 Algorand: Scaling Byzantine Agreements for Cryptocurrencies. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich. SOSP'17

  • Keyword: Consensus

• 🎓 DispersedLedger: High-Throughput Byzantine Consensus on Variable Bandwidth Networks. Lei Yang, Seo Jin Park, and Mohammad Alizadeh, MIT CSAIL; Sreeram Kannan, University of Washington; David Tse, Stanford University NSDI'22

  • Keyword: Consensus, DispersedLedger

• 🎓 Ghostor: Toward a Secure Data-Sharing System from Decentralized Trust. Vibhaalakshmi Sivaraman, Yuncong Hu, Sam Kumar, and Raluca Ada Popa, University of California, Berkeley NSDI'20

  • Keyword: Data-Sharing, Ghoster

• 🎓 High Throughput Cryptocurrency Routing in Payment Channel Networks. Vibhaalakshmi Sivaraman, Massachusetts Institute of Technology; Shaileshh Bojja Venkatakrishnan, Ohio State University; Kathleen Ruan, Carnegie Mellon University; Parimarjan Negi and Lei Yang, Massachusetts Institute of Technology; Radhika Mittal, University of Illinois at Urbana-Champaign; Giulia Fanti, Carnegie Mellon University; Mohammad Alizadeh, Massachusetts Institute of Technology. NSDI'20

  • Keyword: PC, Spider

• 🎓 Monoxide: Scale Out Blockchain with Asynchronized Consensus Zones. Jiaping Wang, Hao Wang. NSDI'19

  • Keyword: System, Zones, Eventual Atomicity, Chu-ko-nu Mining

• 🎓 zkLedger: Privacy-Preserving Auditing for Distributed Ledgers. Neha Narula and Willy Vasquez and Madars Virza. NSDI'18

  • Keyword: Privacy, zkLedger

• 🎓 Bitcoin-NG: A Scalable Blockchain Protocol. Eyal I, Gencer AE, Sirer EG, Van Renesse R. NSDI’16

  • Keyword: Consensus-PoW

• 🎓 Scalable Byzantine Fault Tolerance via Partial Decentralization. Balaji Arun (Virginia Tech)*, Binoy Ravindran (Virginia Tech). VLDB'22

  • Keyword: BFT, DQBFT

• 🎓 NeuChain: A Fast Permissioned Blockchain System with Deterministic Ordering. Zeshun Peng (Northeastern University, China), Yanfeng Zhang (Northeastern University)*, Qian Xu (Northeastern University), Haixu Liu (Northeastern University), Yuxiao Gao (ä¸å大学), Xiaohua Li (Northeastern University), Ge Yu (Northeast University). VLDB'22

  • Keyword: System, NeuChain

• 🎓 Qanaat: A Scalable Multi-Enterprise Permissioned Blockchain System with Confidentiality Guarantees. Mohammad Javad Amiri (University of Pennsylvania)*, Boon Thau Loo (Univ. of Pennsylvania), Divy Agrawal (University of California, Santa Barbara), Amr El Abbadi (UC Santa Barbara). VLDB'22

  • Keyword: System, Confidentiality, Qanaat

• 🎓 Decentralized Crowdsourcing for Human Intelligence Tasks with Efficient On-Chain Cost. Yihuai Liang (Inha University), Yan Li (Inha University), Byeong-seok Shin (Inha University)*. VLDB'22

  • Keyword: Application, Human Intelligence Tasks(HIT)

• 🎓 Hybrid Blockchain Database Systems: Design and Performance. Zerui Ge (National University of Singapore), Dumitrel Loghin (National University of Singapore)*, Beng Chin Ooi (NUS), Pingcheng Ruan (National University of Singapore), Tianwen Wang (National University of Singapore). VLDB'22

  • Keyword: System, Performance

• 🎓 ByShard: Sharding in a Byzantine Environment. Jelle Hellings (University of California Davis), Mohammad Sadoghi (University of California, Davis). VLDB'21

  • Keyword: Sharding, ByShard

• 🎓 CALYPSO: Private Data Management for Decentralized Ledgers. Eleftherios Kokoris Kogias (IST Austria), Enis Ceyhun Alp (EPFL), Linus Gasser (EPFL), Philipp Jovanovic (UCL), Ewa Syta (Trinity College), Bryan Ford (EPFL). VLDB'21

  • Keyword: Privacy, Data Management, CALYPSO

• 🎓 SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing. Cheng Xu (Hong Kong Baptist University), Ce Zhang (Hong Kong Baptist University), Jianliang Xu (Hong Kong Baptist University), Jian Pei (Simon Fraser University). VLDB'21

  • Keyword: Storage, Parallel Processing, TEE, SlimChain

• 🎓 Scalable, Resilient and Configurable Permissioned Blockchain Fabric, Sajjad Rahnama (University of California Davis); Suyash Gupta (University of California Davis); Thamir Qadah (Purdue University); Jelle Hellings (University of California Davis); Mohammad Sadoghi (University of California, Davis). VLDB'20

  • Type: Demo

• 🎓 A Demonstration of Sterling: A Privacy-Preserving Data Marketplace. Nick Hynes1, David Dao, David Yan, Raymond Cheng, Dawn Song. VLDB'19.

  • Keyword: Privacy

• 🎓 CAPER: A Cross-Application Permissioned Blockchain. Mohammad Javad Amiri, Divyakant Agrawal, Amr El Abbadi. VLDB'19.

  • Keyword: Application

• 🎓 BlockchainDB - A Shared Database on Blockchains. Muhammad El-Hindi, Carsten Binnig, Arvind Arasu, Donald Kossmann, Ravi Ramamurthy. VLDB'19.

  • Keyword: Application

• 🎓 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.

  • Keyword: Provenance

• 🎓 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.

  • Keyword: Storage

• 🎓 Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing. Youngseok Yang, Seoul National University; Taesoo Kim, Georgia Institute of Technology; Byung-Gon Chun, Seoul National University and FriendliAI OSDI'21

  • Keyword: Security, Ethereum

• 🎓 Bringing Decentralized Search to Decentralized Services. Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Cheng Tan, Northeastern University; Yubin Xia, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Sebastian Angel, University of Pennsylvania; Haibo Chen, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University; Shanghai AI Laboratory; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China OSDI'21

  • Keyword: TEE, Decentralized Application

• 🎓 Virtual Consensus in Delos. Mahesh Balakrishnan, Jason Flinn, Chen Shen, Mihir Dharamshi, Ahmed Jafri, Xiao Shi, Santosh Ghosh, Hazem Hassan, Aaryaman Sagar, Rhed Shi, Jingming Liu, Filip Gruszczynski, Xianan Zhang, Huy Hoang, Ahmed Yossef, Francois Richard, and Yee Jiun Song, Facebook, Inc. OSDI'20

  • Keyword: Scalability, Consensus

• 🎓 Byzantine Ordered Consensus without Byzantine Oligarchy. Yunhao Zhang, Cornell University; Srinath Setty, Qi Chen, and Lidong Zhou, Microsoft Research; Lorenzo Alvisi, Cornell University. OSDI'20

  • Keyword: Scalability, Consensus, Byzantine Ordered Consensus

• 🎓 Microsecond Consensus for Microsecond Applications. Marcos K. Aguilera and Naama Ben-David, VMware Research; Rachid Guerraoui, EPFL; Virendra J. Marathe, Oracle Labs; Athanasios Xygkis and Igor Zablotchi, EPFL. OSDI'20

  • Keyword: Scalability, Consensus

• 🎓 Blockene: A High-throughput Blockchain Over Mobile Devices. Sambhav Satija and Apurv Mehra, Microsoft Research India; Sudheesh Singanamalla, University of Washington; Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta, and Satya Lokam, Microsoft Research India. OSDI'20

  • Keyword: Scalability, Consensus

• 🎓 Proving the correct execution of concurrent services in zero-knowledge. Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee. OSDI'18.

  • Keyword: Spice, Formal Methods, ZKP

• 🎓 Practical Byzantine Fault Tolerance. Castro M., Liskov B. OSDI'99.

  • Keyword: Consensus

• 🎓 LedgerView: Access-Control Views on Hyperledger Fabric. Pingcheng Ruan (National University of Singapore), Yaron Kanza (AT&T Chief Data Office, Bedminster, NJ, USA), Bengchin Ooi National University of Singapore, Singapore, Singapore, and Divesh Srivastava (AT&T Chief Data Office, Bedminster, NJ, USA). SIGMOD'22

  • Keyword: System, LedgerView
  • Type: Industrial

• 🎓 P^2B-Trace: Privacy-Preserving Blockchain-based Contact Tracing to Combat Pandemics. Zhe PENG (Hong Kong Baptist University)*; Cheng Xu (Hong Kong Baptist University); Haixin Wang (HKBU); Jinbin Huang (Hong Kong Baptist University); Jianliang Xu (Hong Kong Baptist University); Xiaowen Chu (Hong Kong Baptist University). SIGMOD'21

  • Keyword: Applications

• 🎓 DIV: Resolving the Dynamic Issues of Zero-knowledge Set Membership Proof in the Blockchain. Zihuan XU (Hong Kong University of Science and Technology)*; Lei Chen (Hong Kong University of Science and Technology). SIGMOD'21

  • Keyword: ZKP, DIV

• 🎓 Blockchains vs. Distributed Databases: Dichotomy and Fusion. Pingcheng Ruan (National University of Singapore); Tien Tuan Anh Dinh (Singapore University of Technology and Design); Dumitrel Loghin (National University of Singapore); Meihui Zhang (Beijing Institute of Technology)*; Gang Chen (Zhejiang University); Qian Lin (ByteDance); Beng Chin Ooi (NUS). SIGMOD'21

  • Keyword: Performance, Security

• 🎓 When the Recursive Diversity Anonymity Meets the Ring Signature. Wangze Ni (Hong Kong University of Science and Technology); Peng CHENG (East China Normal University)*; Lei Chen (Hong Kong University of Science and Technology); Xuemin Lin (University of New South Wales). SIGMOD'21

  • Keyword: RS

• 🎓 Do the Rich Get Richer? Fairness Analysis for Blockchain Incentives. YUMING HUANG (National University of Singapore); Jing Tang (National University of Singapore)*; Qianhao Cong (National University of Singapore); Andrew Lim (National University of Singapore); Jianliang Xu (Hong Kong Baptist University). SIGMOD'21

  • Keyword: Consensus, Fairness, PoS

• 🎓 Why Do My Blockchain Transactions Fail? A Study of Hyperledger Fabric. Jeeta Ann Chacko (Technical University of Munich)*; Ruben Mayer (Technical University of Munich); Hans-Arno Jacobsen (TUM). SIGMOD'21

  • Keyword: Benchmarking

• 🎓 SharPer: Sharding Permissioned Blockchains Over Network Clusters. Mohammad Javad Amiri (University of Pennsylvania)*; Divy Agrawal (University of California, Santa Barbara); Amr El Abbadi (UC Santa Barbara). SIGMOD'21

  • Keyword: Sharding, SharPer

• 🎓 A Byzantine Fault Tolerant Storage for Permissioned Blockchain. Xiaodong Qi (East China Normal University, Shanghai, China), Zhihao Chen (East China Normal University, Shanghai, China), Zhao Zhang (East China Normal University, Shanghai, China), Cheqing Jin (East China Normal University, Shanghai, China), Aoying Zhou (East China Normal University, Shanghai, China), Haizhen Zhuo (Ant Group, Hangzhou, China), and Quangqing Xu (Ant Group, Hangzhou, China). SIGMOD'21

  • Keyword: Storage
  • Type: Short Paper

• 🎓 Permissioned Blockchains: Properties, Techniques and Applications. Mohammad Javad Amiri, Divyakant AGRAWAL, and Amr El-Abbadi (University of California, Santa Barbara, Santa Barbara, CA, USA). SIGMOD'21

  • Type: Tutorial

• 🎓 Confidentiality Support over Financial Grade Consortium Blockchain. Ying Yan (Ant Financial Services Group), Changzheng Wei (Ant Financial Services Group), Xuepeng Guo (Ant Financial Services Group), Xuming Lu (Ant Financial Services Group), Xiaofu Zheng (Ant Financial Services Group), Qi Liu (Ant Financial Services Group), Chenhui Zhou (Ant Financial Services Group), Xuyang Song (Ant Financial Services Group), Boran Zhao (Ant Financial Services Group), Hui Zhang (Ant Financial Services Group), Guofei Jiang (Ant Financial Services Group). SIGMOD'20

  • Keyword: Privacy, TEE
  • Type: Industrial

• 🎓 FalconDB: Blockchain-based Collaborative Database. Yanqing Peng (University of Utah), Min Du (University of California, Berkeley), Feifei Li (University of Utah), Raymond Cheng (University of California, Berkeley), Dawn Song (University of California, Berkeley). SIGMOD'20

  • Keyword: Applications

• 🎓 A Transactional Perspective on Execute-order-validate Blockchains. Pingcheng Ruan (National University of Singapore), Dumitrel Loghin (National University of Singapore), Quang-Trung Ta (National University of Singapore), Meihui Zhang (Beijing Institute of Technology), Gang Chen (Zhejiang University), Beng Chin Ooi (National University of Singapore). SIGMOD'20

• 🎓 Scaling Membership of Byzantine Consensus. Burcu Canakci, Robbert Van Renesse. TOCS '20.

  • Keyword: BFT,scalability

• 🎓 The part-time parliament. Lamport L. TOCS '98.

  • Keyword: Consensus

• Obsidian: Typestate and Assets for Safer Blockchain Programming.Coblenz M, Oei R, Etzel T, et al. TOPLAS'20.

  • Keyword: Smart Contract,Programming Language_

• 🎓 The Byzantine Generals Problem. Lamport L, Shostak R., Pease M. TOPLAS'82.

  • Keyword: Consensus

• 🎓 Tight Bounds for Asymptotic and Approximate Consensus. Matthias Függer, Thomas Nowak, and Manfred Schwarz. 2021. Tight Bounds for Asymptotic and Approximate Consensus. J. ACM 68, 6, Article 46 (December 2021), 35 pages.
  • Keyword: Consensus
• 🎓 Universally Composable Security. Canetti R. 2020. J. ACM 67, 5, Article 28 (October 2020), 94 pages. (Not Publicly Avaliable)
  • Keyword: Security, Formal Methods
• 🎓 The Power of Shunning: Efficient Asynchronous Byzantine Agreement Revisited*. Bangalore L, Choudhury A, Patra A. 2020. J. ACM 67, 3, Article 14 (June 2020), 59 pages. (Not Publicly Avaliable)
  • Keyword: Consensus
• 🎓 Silence. Guy G, Yoram M. 2020. J. ACM 67, 1, Article 3 (April 2020), 26 pages. (Not Publicly Avaliable)
  • Keyword: Communication Efficiency
• 🎓 Consensus in the Presence of Partial Synchrony. Dwork S., Lynch N. '88. JACM '88.
  • Keyword: Consensus

• 🎓 Identifying Solidity Smart Contract API Documentation Errors. Jianzhong Su (Sun Yat-sen University), Hong-Ning Dai (Hong Kong Baptist University), Chenguang Zhu (The University of Texas at Austin), Ye Liu (Nanyang Technological University), Xiuheng Wu (Nanyang Technological University, Singapore), Yi Li (Nanyang Technological University, Singapore). ASE'22

  • Keyword: API

• 🎓 Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing. Jianzhong Su (Sun Yat-sen University), Hong-Ning Dai (Hong Kong Baptist University), Lingjun Zhao (Sun Yat-sen University), Zibin Zheng (School of Data and Computer Science, Sun Yat-sen University), Xiapu Luo (Hong Kong Polytechnic University). ASE'22

  • Keyword: Vulnerability Detection

• 🎓 Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. Lu Liu (Southern University of Science and Technology; The Hong Kong University of Science and Technology), Lili Wei (Hong Kong University of Science and Technology), Wuqi Zhang (The Hong Kong University of Science and Technology), Ming Wen (Huazhong University of Science and Technology), Yepang Liu (Southern University of Science and Technology), Shing-Chi Cheung (Hong Kong University of Science and Technology). ASE'21

  • Keyword: Empirical

• 🎓 SigRec: Automatic Recovery of Function Signatures in Smart Contracts. Ting Chen (University of Electronic Science and Technology of China), Zihao Li (The Hong Kong Polytechnic University), Xiapu Luo (Hong Kong Polytechnic University), XiaoFeng Wang (Indiana University Bloomington), Ting Wang (Penn State University), Hongwei Li (University of Electronic Science and Technology of China), Xiaosong Zhang (University of Electronic Science and Technology of China). ASE'21

  • Keyword: System, Signature SigRec

• 🎓 SMARTIAN : Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. Jaeseung Choi (KAIST), Doyeon Kim (LINE Plus Corporation), Soomin Kim (KAIST), Gustavo Grieco (Trail of Bits), Alex Groce (Northern Arizona University), Sang Kil Cha (KAIST, South Korea). ASE'21

  • Keyword: Fuzzing, SMARTIAN

• 🎓 Automating User Notice Generation for Smart Contract Functions. Xing Hu (Zhejiang University), Zhipeng Gao (Monash University), Xin Xia (Huawei Software Engineering Application Technology Lab), David Lo (Singapore Management University), Xiaohu Yang (Zhejiang University). ASE'21

  • Keyword: System

• 🎓 Gas Estimation and Optimization for Smart Contracts on Ethereum. Chunmiao Li(National Institute of Informatics). ASE'21

  • Keyword: Gas Estimation
  • Type: Doctoral Symposium

• 🎓 Demystifying Loops in Smart Contracts. Benjamin Mariano (University of Texas at Austin), Yanju Chen (University of California, Santa Barbara), Yu Feng (University of California, Santa Barbara), Shuvendu K. Lahiri (Microsoft Research), and Isil Dillig (University of Texas at Austin). ASE'20

• 🎓 Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. Yinxing Xue (University of Science and Technology of China), Mingliang Ma (University of Science and Technology of China), Yun Lin (National University of Singapore), Yulei Sui (University of Technology Sydney), Jiaming Ye (University of Science and Technology of China), and Tianyong Peng (University of Science and Technology of China). ASE'20

• 🎓 Summary-Based Symbolic Evaluation for Smart Contracts. Yu Feng (University of California, Santa Barbara), Emina Torlak (University of Washington), and Rastislav Bodik (University of Washington). ASE'20

• 🎓 SmartBugs: A Framework to Analyze Solidity Smart Contracts. João Ferreira (INESC-ID & IST, University of Lisbon, Portugal), Pedro Cruz (INESC-ID & IST, University of Lisbon, Portugal), Thomas Durieux (KTH Royal Institute of Technology, Sweden), and Rui Abreu (INESC-ID & IST, University of Lisbon, Portugal). ASE'20

  • Type: SmartBugs, Tool

• 🎓 EXPRESS: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems. Jia Xu (Anhui University, China), Xiao Liu (Deakin University, Australia), Xuejun Li (Anhui University, China), Lei Zhang Antwork Robotics Co., Ltm.), and Yun Yang (Swinburne University of Technology, Australia). ASE'20

  • Type: EXPRESS, Tool

• 🎓 Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts. Péter Garamvölgyi (Shanghai Tree-Graph Blockchain Research Institute), Yuxi Liu (Duke University), Dong Zhou (Tsinghua University), Fan Long (Shanghai Tree-Graph Blockchain Research Institute), and Ming Wu (Shanghai Tree-Graph Blockchain Research Institute). ICSE'22

  • Keyword: Parallelism

• 🎓 Smart Contract Security: a Practitioners’ Perspective. hiyuan Wan (ZheJiang University, China), Xin Xia (Monash University, Australia), David Lo (Singapore Management University, Singapore), Jiachi Chen (Monash University, Australia), Xiapu Luo (The Hong Kong Polytechnic University, China), Xiaohu Yang(Zhejiang University, China)

  • Keyword: Smart Contract

• 🎓 On the Round Complexity of Randomized Byzantine Agreement. Cohen, R., Haitner, I., Makriyannis, N. Journal of Cryptology'22

  • Keyword: BFT

• 🎓 Two-Round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices. Damgård, I., Orlandi, C., Takahashi, A. Journal of Cryptology'22

  • Keyword: threshold signature

• 🎓 Towards Practical Auditing of Dynamic Data in Decentralized Storage. H. Duan, Y. Du, L. Zheng, C. Wang, M. H. Au and Q. Wang. TDSC'23

  • Keyword: PoS, application

• 🎓 ExGen: Cross-platform, Automated Exploit Generation for Smart Contract Vulnerabilities. L. Jin, Y. Cao, Y. Chen, D. Zhang and S. Campanoni. TDSC'23

  • Keyword: smart contract, attacks

• 🎓 Boros: Secure and Efficient Off-Blockchain Transactions via Payment Channel Hub. J. Zhang, Y. Ye, W. Wu and X. Luo. TDSC'23

  • Keyword: payment channel

• 🎓 HyperMaze: Towards Privacy-Preserving and Scalable Permissioned Blockchain. W. Liu, Z. Wan, J. Shao and Y. Yu. TDSC'23

  • Keyword: zkp, scalability

• 🎓 UCoin: An Efficient Privacy Preserving Scheme for Cryptocurrencies. M. R. Nosouhi et al. TDSC'23

  • Keyword: mixing

• 🎓 Eunomia: Anonymous and Secure Vehicular Digital Forensics Based on Blockchain. M. Li, Y. Chen, C. Lal, M. Conti, M. Alazab and D. Hu. TDSC'23

  • Keyword: crime

• 🎓 Multi-User Dynamic Searchable Symmetric Encryption With Corrupted Participants. J. G. Chamani, Y. Wang, D. Papadopoulos, M. Zhang and R. Jalili. TDSC'23

  • Keyword: Applications

• 🎓 A Secure EMR Sharing System With Tamper Resistance and Expressive Access Control. S. Xu et al. TDSC'23

  • Keyword: Applications

• 🎓 The Hermes BFT for Blockchains. M. M. Jalalzai, C. Feng, C. Busch, G. G. Richard and J. Niu. TDSC'22

  • Keyword: BFT, scalability

• 🎓 Blockchain-Based Secure Deduplication and Shared Auditing in Decentralized Storage. G. Tian et al. TDSC'22

  • Keyword: Applications

• 🎓 Sidechains With Fast Cross-Chain Transfers. L. Yin, J. Xu and Q. Tang. TDSC'22

  • Keyword: sidechain, interoperability

• 🎓 Blockchain-Based Privacy Enforcement in the IoT Domain. F. Daidone, B. Carminati and E. Ferrari. TDSC'22

  • Keyword: privacy, application

• 🎓 Agora: A Privacy-Aware Data Marketplace. V. Koutsos, D. Papadopoulos, D. Chatzopoulos, S. Tarkoma and P. Hui. TDSC'22

  • Keyword: marketplace, privacy, atomic swaps

• 🎓 Toward a Secure, Rich, and Fair Query Service for Light Clients on Public Blockchains. C. Cai, L. Xu, A. Zhou and C. Wang. TDSC'22

  • Keyword: tee, system

• 🎓 Social Characteristic-Based Propagation-Efficient PBFT Protocol to Broadcast in Unstructured Overlay Networks. X. Feng, J. Ma, Y. Miao, X. Liu and K. -K. R. Choo. TDSC'22

  • Keyword: BFT

• 🎓 DBFT: A Byzantine Fault Tolerance Protocol With Graceful Performance Degradation. J. Zhang, Y. Rong, J. Cao, C. Rong, J. Bian and W. Wu. TDSC'22

  • Keyword: BFT

• 🎓 SEAR: Secure and Efficient Aggregation for Byzantine-Robust Federated Learning. L. Zhao, J. Jiang, B. Feng, Q. Wang, C. Shen and Q. Li. TDSC'22

  • Keyword: tee, BFT

• 🎓 XAuth: Efficient Privacy-Preserving Cross-Domain Authentication. J. Chen, Z. Zhan, K. He, R. Du, D. Wang and F. Liu. TDSC'22

  • Keyword: Applications

• 🎓 DELIA: Distributed Efficient Log Integrity Audit Based on Hierarchal Multi-Party State Channel. J. Chen, X. Chen, K. He, R. Du, W. Chen and Y. Xiang. TDSC'22

  • Keyword: Applications

• 🎓 Golden Grain: Building a Secure and Decentralized Model Marketplace for MLaaS. J. Weng, J. Weng, C. Cai, H. Huang and C. Wang. TDSC'22

  • Keyword: tee, application

• 🎓 Enabling Secure and Efficient Decentralized Storage Auditing With Blockchain. Y. Du, H. Duan, A. Zhou, C. Wang, M. H. Au and Q. Wang. TDSC'22

  • Keyword: Applications

• 🎓 Make Web3.0 Connected. Z. Liu et al. TDSC'22

  • Keyword: interoperability, programmability

• 🎓 Decentralized Privacy-Preserving Fair Exchange Scheme for V2G Based on Blockchain. Z. Wan, T. Zhang, W. Liu, M. Wang and L. Zhu. TDSC'22

  • Keyword: Applications

• 🎓 DAENet: Making Strong Anonymity Scale in a Fully Decentralized Network. T. Shen et al. TDSC'22

  • Keyword: network, tee

• 🎓 SSHC: A Secure and Scalable Hybrid Consensus Protocol for Sharding Blockchains With a Formal Security Framework. Y. Liu, J. Liu, Q. Wu, H. Yu, Y. Hei and Z. Zhou. TDSC'22

  • Keyword: scalibility, BFT

• 🎓 CoinLayering: An Efficient Coin Mixing Scheme for Large Scale Bitcoin Transactions. N. Lu, Y. Chang, W. Shi and K. -K. R. Choo. TDSC'22

  • Keyword: mixing, scalibility

• 🎓 Oracle-Supported Dynamic Exploit Generation for Smart Contracts. H. Wang et al. TDSC'22

  • Keyword: smart contract, auditation

• 🎓 AWARE: Adaptive Wide-Area Replication for Fast and Resilient Byzantine Consensus. C. Berger, H. P. Reiser, J. Sousa and A. Bessani. TDSC'22

  • Keyword: BFT, scalibility

• 🎓 BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs. Z. Guan, Z. Wan, Y. Yang, Y. Zhou and B. Huang. TDSC'22

  • Keyword: system, zkp

• 🎓 Decentralized Blockchain-Based Trust Management Protocol for the Internet of Things. D. E. Kouicem, Y. Imine, A. Bouabdallah and H. Lakhlef. TDSC'22

  • Keyword: Applications

• 🎓 IPANM: Incentive Public Auditing Scheme for Non-Manager Groups in Clouds. L. Huang et al. TDSC'22

  • Keyword: Applications

• 🎓 Malware in the SGX Supply Chain: Be Careful When Signing Enclaves!. V. Crăciun, P. Felber, A. Mogage, E. Onica and R. Pires. TDSC'22

  • Keyword: tee, attacks

• 🎓 Blockchain-Based Certificate Transparency and Revocation Transparency. Z. Wang, J. Lin, Q. Cai, Q. Wang, D. Zha and J. Jing. TDSC'22

  • Keyword: Applications

• 🎓 PBTPBT: A New Privacy-Preserving Payment Protocol for Blockchain Transactions. Y. Jia et al. TDSC'22

  • Keyword: privacy, multi-signature

• 🎓 AbsoluteTrust: Algorithm for Aggregation of Trust in Peer-to-Peer Networks. S. K. Awasthi and Y. N. Singh. TDSC'22

  • Keyword: network, security

• 🎓 A Blockchain-Based Self-Tallying Voting Protocol in Decentralized IoT. Y. Li et al. TDSC'22

  • Keyword: Applications

• 🎓 LVBS: Lightweight Vehicular Blockchain for Secure Data Sharing in Disaster Rescue. Z. Su, Y. Wang, Q. Xu and N. Zhang. TDSC'22

  • Keyword: Applications

• 🎓 An Efficient NIZK Scheme for Privacy-Preserving Transactions Over Account-Model Blockchain. Shunli Ma, Yi Deng, Yi Deng, Jiang Zhang, Xiang Xie. TDSC'21

  • Keyword: Privacy, ZKP

• 🎓 Security and privacy in decentralized energy trading through multi-signatures, blockchain and anonymous messaging streams. Aitzhan N Z, Svetinovic D. TDSC'16

  • Keyword: Applications

• 🎓 SDTE: A Secure Blockchain-Based Data Trading Ecosystem. Dai W, Dai C, Choo K K R, et al. TIFS'20

  • Keyword: Smart contract, TEE

• 🎓 Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocols. Li X, Xu J, Fan X, et al. TIFS'20

  • Keyword: PoS

• 🎓 GDPR-Compliant Personal Data Management: A Blockchain-Based Solution. Truong N B, Sun K, Lee G M, et al. TIFS'20

  • Keyword: Smart Contracts, GDPR

• 🎓 KVaC: Key-Value Commitments for Blockchains and Beyond. Shashank Agrawal, Srinivasan Raghuraman. ASIACRYPT'20

  • Keyword: Scalability

• 🎓 Crowd Verifiable Zero-Knowledge and End-to-end Verifiable Multiparty Computation. Foteini Baldimtsi, Aggelos Kiayias, Thomas Zacharias, Bingsheng Zhang. ASIACRYPT'20

  • Keyword: MPC, ZKP

• 🎓 Compact multi-signatures for smaller blockchains. Boneh D, Drijvers M, Neven G. ASIACRYPT'18

  • Keyword: Wallets, TS

• 🎓 Short signatures from the Weil pairing. Boneh D, Lynn B, Shacham H. ASIACRYPT'01

  • Keyword: Wallets, TS

• 🎓 Anonymity Preserving Byzantine Vector Consensus. Christian Cachin, Daniel Collins, Tyler Crain, Vincent Gramoli. ESORICS'20

  • Keyword: Consensus

• 🎓 LegIoT: Ledgered Trust Management Platform for IoT. Jens Neureither, Alexandra Dmitrienko, David Koisser, Ferdinand Brasser, Ahmad-Reza Sadeghi. ESORICS'20

• 🎓 Distributed Detection of APTs: Consensus vs. Clustering. Juan E. Rubio, Cristina Alcaraz, Ruben Rios, Rodrigo Roman, Javier Lopez. ESORICS'20

• 🎓 How to Model the Bribery Attack: A Practical Quantification Method in Blockchain. Hanyi Sun, Na Ruan, Chunhua Su. ESORICS'20

  • Keyword: Attacks

• 🎓 Updatable Blockchains. Michele Ciampi, Nikos Karayannidis, Aggelos Kiayias, Dionysis Zindros. ESORICS'20

• 🎓 PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Attested Off-Chain Contract Execution. Yang Xiao, Ning Zhang, Jin Li, Wenjing Lou, Y. Thomas Hou. ESORICS'20

• 🎓 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely. Tuyet Duong, Lei Fan, Jonathan Katz, Phuc Thai, Hong-Sheng Zhou. ESORICS'20

  • Keyword: Consensus, PoW(Proof of Work), PoS(Proof of Stake), PoX

• 🎓 Generic Superlight Client for Permissionless Blockchains. Yuan Lu, Qiang Tang, Guiling Wang. ESORICS'20

  • Keyword: Wallets

• 🎓 LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. Ahmet Kurt, Enes Erdin, Mumin Cebe, Kemal Akkaya, A. Selcuk Uluagac. ESORICS'20

• 🎓 PGC: Decentralized Confidential Payment System with Auditability. Yu Chen, Xuecheng Ma, Cong Tang, Man Ho Au. ESORICS'20

• 🎓 Incentives for Harvesting Attack in Proof of Work Mining Pools. Zolotavkin Y, & Kuchta V. ESORICS'19

  • Keyword: Attacks

• 🎓 PDFS: practical data feed service for smart contracts. Guarnizo J, Szalachowski P. ESORICS'19

  • Keyword: Application, Smart Contracts

• 🎓 Towards a Marketplace for Secure Outsourced Computations. Dang H., Le Tien D., Chang E C. ESORICS'19

  • Keyword: Application, Payment Channels

• 🎓 Annotary: A Concolic Execution System for Developing Secure Smart Contracts. Weiss, K. Schütte, J. ESORICS'19

  • Keyword: Smart Contracts

• 🎓 A Lattice-Based Linkable Ring Signature Supporting Stealth Addresses. Liu, Z., Nguyen, K., Yang, G., Wang, H., Wong, D. S. ESORICS'19

  • Keyword: Privacy, RS

• 🎓 Coinshuffle: Practical decentralized coin mixing for bitcoin. Ruffing T, Moreno-Sanchez P, Kate A. ESORICS '14.

  • Keyword: Privacy

• 🎓 Policy-based Chameleon Hash for Blockchain Rewriting with Black-box Accountability. Yangguang Tian, Pawel Szalachowski, Jianying Zhou (Singapore University of Technology and Design), Yingjiu Li (University of Oregon), Nan Li (University of Newcastle). ACSAC'20

  • Keyword: System

no papers directly related to blockchain in EUROSYS'20

• 🎓 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
  • Keyword: System

• 🎓 An Analysis of Blockchain Consistency in Asynchronous Networks: Deriving a Neat Bound. Jun Zhao, Jing Tang, Li Zengxiang, Huaxiong Wang, Kwok-Yan Lam and Kaiping Xue. ICDCS'20

• 🎓 Fair and Efficient Gossip in Hyperledger Fabric. Nicolae Berendea, Hugues Mercier, Emanuel Onica and Etienne Rivière. ICDCS'20

  • Keywork: Network

• 🎓 Privacy-assured and Lightweight On-chain Auditing of Decentralized Storage. Yuefeng Du, Huayi Duan, Anxin Zhou, Cong Wang, Man Ho Au and Qian Wang. ICDCS'20

  • Keywork: Auditation, Privacy

• 🎓 Game theoretical analysis of Cross-Chain Swaps. Marianna Belotti, Stefano Secci, Stefano Moretti and Maria Potop-Butucaru. ICDCS'20

• 🎓 A Certificateless Consortium Blockchain for IoTs. Xiaobing Guo, Qingxiao Guo, Min Liu, Yunhao Wang, Yilong Ma and Bo Yang. ICDCS'20

  • Keywork: System

• 🎓 TinyEVM: Off-Chain Smart Contracts on Low-Power IoT. Christos Profentzas, Olaf Landsiedel and Magnus Almgren. ICDCS'20

  • Keyword: Smart Contracts

• 🎓 Permissioned Blockchain Through the Looking Glass: Architectural and Implementation Lessons Learned. Suyash Gupta, Sajjad Rahnama and Mohammad Sadoghi. ICDCS'20

  • Keywork: System

• 🎓 Toward Trustworthy Blockchain-as-a-Service with Auditing. Yongrae Jo, Jeonghyun Ma and Chanik Park. ICDCS'20

  • Keywork: Auditation

• 🎓 Consistency of Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders. Aggelos Kiayias, Saad Quader and Alexander Russell. ICDCS'20

  • Keywork: Concurrency

• 🎓 LVQ: A Lightweight Verifiable Query Approach for Transaction History in Bitcoin. Xiaohai Dai, Jiang Xiao, Wenhui Yang, Chaofan Wang, Jian Chang, Rui Han and Hai Jin. ICDCS'20

• 🎓 A Study on Nine Years of Bitcoin Transactions: Understanding Real-world Behaviors of Bitcoin Miners and Users. Binbing Hou and Feng Chen. ICDCS'20

• 🎓 On Exploiting Transaction Concurrency To Speed Up Blockchains. Daniel Reijsbergen and Anh Dinh. ICDCS'20

  • Keywork: Concurrency

• 🎓 SAFEPAY on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. Yue Li, Han Liu, Zhiqiang Yang, Qian Ren, Lei Wang and Bangdao Chen. ICDCS'20

  • Keyword: Smart Contracts, Formal Methods
  • Type: Demo

• 🎓 Selfish Mining in Ethereum Jianyu Niu and Chen Feng. ICDCS'19

  • Keyword: PoW

• 🎓 Trust Mends Blockchains: Living up to Expectations. Leila Bahri and Sarunas Girdzijauskas. ICDCS'19

  • Keyword: Consensus

• 🎓 Hierarchical Edge-Cloud Computing for Mobile Blockchain Mining Game. Suhan Jiang, Xinyi Li and Jie Wu. ICDCS'19

  • Keyword: Application

• 🎓 OptChain: Optimal Transactions Placement for Scalable Blockchain Sharding. Lan Nguyen, Truc Nguyen, Thang Dinh and My Thai. ICDCS'19

  • Keyword: Scalability

• 🎓 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

  • Keyword:

• 🎓 ParBlockchain: Leveraging Transaction Parallelism in Permissioned Blockchain Systems. Mohammad Javad Amiri, Divyakant Agrawal and Amr El Abbadi. ICDCS'19

  • Keyword: Scalability

• 🎓 Optimal Admission Control For Secondary Users using Blockchain Technology In Cognitive Radio Networks. Wenlong Ni, Yuhong Zhang and Wei Li. ICDCS'19

  • Keyword: Application

• 🎓 B-IoT: Blockchain Driven Internet of Things with Credit-Based Consensus Mechanism. Junqin Huang, Linghe Kong, Guihai Chen, Long Chen, Kaishun Wu and Xue Liu. ICDCS'19

  • Keyword: 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

  • Keyword: 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

  • Keyword: Application

• 🎓 AI Blockchain Platform for Trusting News. Zonyin Shae and Jeffrey Tsai. ICDCS'19

  • Keyword: Vision

• 🎓 Dependable Public Ledger for Policy Compliance, a Blockchain Based Approach. Zhou Wu, Andrew Williams and Debbie Perouli. ICDCS'19

  • Keyword: Vision

• 🎓 Please, do not decentralize the Internet with (permissionless) blockchains!. Pedro Garcia Lopez, Alberto Montresor and Anwitaman Datta. ICDCS'19

  • Keyword: Vision

• 🎓 Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine. Zonyin Shae, Jeffrey J.P. Tsai. ICDCS'18

  • Keyword: Application

• 🎓 Towards A Novel Architecture for Enabling Interoperability Amongst Multiple Blockchains. Hai Jin, Xiaohai Dai, and Jiang Xiao. ICDCS'18

  • Keyword: Interoperability

• 🎓 Towards Dependable, Scalable, and Pervasive Distributed Ledgers with Blockchains. Zhang Kaiwen, Jacobsen Hans-Arno.ICDCS'18

  • Keyword: Consensus
  • Type: Short

• 🎓 A Flexible Network Approach to Privacy of Blockchain Transactions. David M¨odinger, Henning Kopp, Frank Kargl and Franz J. Hauck. ICDCS'18

  • Keyword: Privacy
  • Type: Short

• 🎓 Genuinely Distributed Byzantine Machine Learning. El-Mahdi El-Mhamdi (EPFL), Rachid Guerraoui (EPFL), Arsany Guirguis (EPFL), Lê Nguyên Hoang (EPFL), Sébastien Rouault (EPFL). PODC'20

  • Keyword: Consensus

• 🎓 Fault-Tolerance in Distributed Optimization: The Case of Redundancy. Nirupam Gupta (Georgetown University), Nitin H. Vaidya (Georgetown University), Probably Approximately Knowing (video), Yoram Moses (Technion), Nitzan Zamir (Technion). PODC'20

  • Keyword: Consensus

• 🎓 Positive Aging Admits Fast Asynchronous Plurality Consensus. Gregor Bankhamer (University of Salzburg), Robert Elsässer (University of Salzburg), Dominik Kaaser (University of Hamburg), Matjaž Krnc (University of Primorska). PODC'20

  • Keyword: Consensus

• 🎓 K set-agreement bounds in round-based models through combinatorial topology. Adam Shimi (IRIT, University of Toulouse), Armando Castaneda (UNAM). PODC'20

  • Keyword: Consensus

• 🎓 On Using Null Messages in a Byzantine Setting. Guy Goren (Technion), Yoram Moses (Technion). PODC'20

  • Type: Short

• 🎓 Dumbo-MVBA: Optimal Multi-Valued Validated Asynchronous Byzantine Agreement, Revisited. Yuan Lu (New Jersey Institute of Technology), Zhenliang Lu, Qiang Tang (New Jersey Institute of Technology JDD-NJIT-ISCAS Joint Blockchain Lab), Guiling Wang (New Jersey Institute of Technology). PODC'20

  • Keyword: Consensus

• 🎓 Revisiting Asynchronous Fault Tolerant Computation with Optimal Resilience. Ittai Abraham (VMware Research), Danny Dolev (Hebrew University), Gilad Stern (Hebrew University). PODC'20

  • Keyword: Consensus

• 🎓 Asynchronous Byzantine Approximate Consensus in Directed Networks. Dimitris Sakavalas (Boston College), Lewis Tseng (Boston College), Nitin H. Vaidya (Georgetown University). PODC'20

  • Keyword: Consensus

• 🎓 On the Subject of Non-Equivocation. Mads Frederik Madsen (IT University of Copenhagen), Søren Debois (IT University of Copenhagen). PODC'20

  • Keyword: Consensus

• 🎓 Almost-surely Terminating Asynchronous Byzantine Agreement Protocols with a Constant Expected Running Time. Ashish Choudhury (IIIT Bangalore). PODC'20

  • Keyword: Consensus, BFT
  • Type: Short

• 🎓 On the Significance of Consecutive Ballots in Paxos. Eli Goldweber (University of Michigan), Nuda Zhang (University of Michigan), Manos Kapritsos (University of Michigan). PODC'20

  • Keyword: Consensus
  • Type: Short

• 🎓 Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. Shir Cohen (Technion), Idit Keidar (Technion), Alexander Spiegelman (Novi). PODC'20

  • Keyword: Consensus, BFT
  • Type: Short

• 🎓 Byzantine Agreement with Unknown Participants and Failures. Pankaj Khanchandani (ETH Zurich), Roger Wattenhofer (ETH Zurich). PODC'20

  • Keyword: Consensus
  • Type: Short

• 🎓 Perigee: Efficient Peer-to-Peer Network Design for Blockchains. Yifan Mao (The Ohio State University), Soubhik Deb (University of Washington Seattle), Shaileshh Bojja Venkatakrishnan (The Ohio State University), Sreeram Kannan (University of Washington Seattle), Kannan Srinivasan (The Ohio State University). PODC'20

  • Keyword: Network

• 🎓 The Consensus Number of a Cryptocurrency. R. Guerraoui, P. Kuznetsov, M. Monti, M. Pavlovic, D. Seredinschi. PODC'19

  • Keyword: Consensus

• 🎓 Communication Complexity of Byzantine Agreement, Revisited. I. Abraham, T. Chan, D. Dolev, K. Nayak, R. Pass, L. Ren, E. Shi. PODC'19

  • Keyword: Consensus, BFT

• 🎓 Exact Byzantine Consensus on Undirected Graphs under Local Broadcast Model. M. Khan, S. Naqvi, N. Vaidya. PODC'19

  • Keyword: Consensus, BFT

• 🎓 Asymptotically Optimal Validated Asynchronous Byzantine Agreement. I. Abraham, D. Malkhi, A. Spiegelman. PODC'19

  • Keyword: Consensus, BFT

• 🎓 HotStuff: BFT Consensus with Linearity and Responsiveness. M. Yin, I. Abraham, G. Gueta, D. Malkhi, M. Reiter. PODC'19

  • Keyword: Consensus, BFT

• 🎓 Atomic Cross-Chain Swaps. Maurice Herlihy. PODC'18

  • Keyword: Sidechain

• 🎓 Brief Announcement: Sustainable Blockchains through Proof of eXercise. Ali Shoker. PODC'18

  • Keyword: Consensus

• 🎓 FruitChains: A Fair Blockchain.Rafael Pass, Elaine Shi. PODC'17

  • Keyword: Consensus, PoW

no papers directly related to blockchain in CoNEXT'20

• 🎓 On the Necessity of a Prescribed Block Validity Consensus: Analyzing Bitcoin Unlimited Mining Protocol. Ren Zhang, Bart Preneel. CoNEXT '17
  • Keyword: Consensus, PoW

• 🎓 Minting Mechanism for Proof of Stake Blockchains. Dominic Deuber, Nico Döttling, Bernardo Magri, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan. ACNS'20.

  • Keyword: PoS

• 🎓 Timed Signatures and Zero-Knowledge Proofs - Timestamping in the Blockchain Era. Aydin Abadi, Michele Ciampi, Aggelos Kiayias, Vassilis Zikas. ACNS'20.

  • Keyword: Timestamping, Zero-Knowledge Proofs

• 🎓 Threshold-optimal DSA/ECDSA signatures and an application to Bitcoin wallet security. Gennaro R, Goldfeder S, Narayanan A. ACNS'16.

  • Keyword: Wallets, TS

• 🎓 Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. Kaihua Qin(Imperial College London), Liyi Zhou(Imperial College London), Benjamin Livshits(Imperial College London), Arthur Gervais(Imperial College London). FC'21

  • Keyword: Attacks, DeFi, Smart Contract

• 🎓 The Eye of Horus: Spotting and Analyzing Attacks on Ethereum Smart Contracts. Christof Ferreira Torres( University of Luxembourg), Antonio Iannillo(University of Luxembourg), Arthur Gervais(Imperial College London), Radu State(Imperial College London). FC'21

  • Keyword: Smart Contracts, Attacks

• 🎓 Timelocked Bribing. Tejaswi Nadahalli(ETH Zurich), Majid Khabbazian(University of Alberta), Roger Wattenhofer(ETH Zurich) FC'21

  • Keyword: HTLC, Attacks

• 🎓 Shielded Computations in Smart Contracts Overcoming Forks. Vincenzo Botta(University of Salerno), Daniele Friolo(University of Salerno), Daniele Venturi(Sapienza University of Rome), Ivan Visconti(University of Salerno). FC'21

  • Keyword: MPC, Smart Contract, Fork

• 🎓 A formal model of Algorand smart contracts. Massimo Bartoletti(University degli Studi di Cagliari), Andrea Bracciali(Stirling University), Cristian Lepore(Stirling University), Alceste Scalas(Technical University of Denmark), Roberto Zunino(Universit`a degli Studi di Trento). FC'21

  • Keyword: Algorand, Smart Contract

• 🎓 Everything You Ever Wanted to Know About Bitcoin Mixers (But Were Afraid to Ask). Federico Franzoni (Arizona State University), Yan Shoshitaishvili (Arizona State University), Ruoyu Wang(Arizona State University), Tiffany Bao(Arizona State University), Adam Doupe(Arizona State University). FC'21

  • Keyword: Bitcoin Mixers, Anonymity

• 🎓 PERIMETER: A network-layer attack on the anonymity of cryptocurrencies. Maria Apostolaki (ETH Zurich), Cedric Maire (ETH Zurich), Vanbever Laurent(ETH Zurich) FC'21

  • Keyword: Attack, Anonymity

• 🎓 An Empirical Analysis of Privacy in the Lightning Network. George Kappos (University College London), Haaroon Yousaf (University College London), Ania Piotrowska(University College London, Nym Technologies), Sanket Kanjalkar(University of Illinois Urbana-Champaign), Andrew Miller(University of Illinois Urbana-Champaign, IC3), Sarah Meiklejohn(University College London). FC'21

  • Keyword: Privacy, Lightning Network

• 🎓 The Complex Shape of Anonymity in Cryptocurrencies: Case Studies from a Systematic Approach. Niluka Amarasinghe (Queensland University of Technology), Xavier Boyen (Queensland University of Technology), Matthew McKague(Queensland University of Technology). FC'21

  • Keyword: Anonymity, Cryptocurrencies

• 🎓 Cross-Layer Deanonymization Methods in the Lightning Protocol. Matteo Romiti (Austrian Institute of Technology), Friedhelm Victor (Technische Universit¨at Berlin), Pedro Moreno-Sanchez(IMDEA Software Institute), Peter Sebastian Nordholt(Chainalysis), Bernhard Haslhofer(Austrian Institute of Technology), Matteo Maffei(Technische Universitat Wien). FC'21

  • Keyword: Deanonymization, Cross-Layer

• 🎓 SoK: Communication Across Distributed Ledgers. Alexei Zamyatin Mustafa Al-Bassam Dionysis Zindros Lefteris Kokoris-Kogias Pedro Moreno-Sanchez Aggelos Kiayias William J. Knottenbelt. FC'21

  • Keyword: Deanonymization, Cross-Layer
  • Type: Empirical

• 🎓 Reparo: Publicly Verifiable Layer to Repair Blockchains. Sri AravindaKrishnan Thyagarajan Adithya Bhat Bernardo Magri Daniel Tschudi Aniket Kate. FC'21

  • Keyword: Redactable, Layer2

• 🎓 Instant Block Confirmation in the Sleepy Model. Vipul Goyal Hanjun Li Justin Raizes. FC'21

  • Keyword: Sleepy, POS

• 🎓 Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality. Suryanarayana Sankagiri Xuechao Wang Sreeram Kannan Pramod Viswanath. FC'21

  • Keyword: CAP, Longest-chain

• 🎓 Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments. Erkan Tairi Pedro Moreno-Sanchez Matteo Maffei. FC'21

  • Keyword: Off-Chain, Post-Quantum, Privacy

• 🎓 FPPW: A Fair and Privacy Preserving Watchtower For Bitcoin. Arash Mirzaei Amin Sakzad Jiangshan Yu Ron Steinfeld. FC'21

  • Keyword: Payment channel, Bitcoin, Privacy

• 🎓 PoSAT: Proof-of-Work Dynamic Availability and Unpredictability, without the Work. Soubhik Deb Sreeram Kannan David Tse. FC'21

  • Keyword: Consensus

• 🎓 Payment Trees: Low Collateral Payments for Payment Channel Networks. Maxim Jourenko Mario Larangeira Keisuke Tanaka. FC'21

  • Keyword: Collateral, Attacks, PC

• 🎓 Brick: Asynchronous Incentive-Compatible Payment Channels. Zeta Avarikioti Eleftherios Kokoris-Kogias Roger Wattenhofer Dionysis Zindros. FC'21

  • Keyword: Asynchronous, Payment Channels

• 🎓 Congestion Attacks in Payment Channel Networks. Ayelet Mizrahi Aviv Zohar. FC'21

  • Keyword: Attacks, Payment Channels

• 🎓 Ignore the Extra Zeroes: Variance-Optimal Mining Pools. Clara Shikhelman Tim Roughgarden. FC'21

  • Keyword: Mining

• 🎓 HaPPY-mine: Designing a Mining Reward Function. Lucianna Kiffer Rajmohan Rajaraman. FC'21

  • Keyword: Mining

• 🎓 Short Paper: Selfish Mining Attacks Exacerbated by Elastic Hash Supply. Yoko Shibuya Go Yamamoto Fuhito Kojima Elaine Shi Shin'ichiro Matsuo Aron Laszka. FC'21

  • Keyword: Mining, Attacks

• 🎓 Fraud and Data Availability Proofs: Detecting Invalid Blocks in Light Clients. Mustafa Al-Bassam Alberto Sonnino Vitalik Buterin Ismail Khoffi. FC'21

  • Keyword: SPV

• 🎓 ACeD: Scalable Data Availability Oracle. Peiyao Sheng Bowen Xue Sreeram Kannan Pramod Viswanath. FC'21

  • Keyword: Off-chain

• 🎓 Efficient State Management in Distributed Ledgers. Nikos Karayannidis Dimitris Karakostas Aggelos Kiayias. FC'21

  • Keyword: Off-chain

• 🎓 Fast Isomorphic State Channels. Manuel Chakravarty Sandro Coretti Matthias Fitzi Peter Gazi Philipp Kant Aggelos Kiayias Alexander Russell. FC'21

  • Keyword: State Channels

• 🎓 Security Analysis on dBFT protocol of NEO. Qin Wang (Swinburne University of Technology), Jiangshan Yu (Monash University), Zhiniang Peng (Qihoo 360 Core Security), Vancuong Bui (Swinburne University of Technology), Shiping Chen (Csiro, Data61), Yong Ding (Cyberspace Security Research Center), Yang Xiang (Swinburne University of Technology). FC'20

  • Keyword: Attacks

• 🎓 Breaking the encryption scheme of the Moscow internet voting system. Pierrick Gaudry (CNRS, Inria, Université de Lorraine), Alexander Golovnev (Harvard University). FC'20

  • Keyword: Attacks

• 🎓 Short Paper: XOR Arbiter PUFs have Systematic Response Bias. Nils Wisiol (Technische Universität Berlin), Niklas Pirnay (Technische Universität Berlin). FC'20

  • Keyword: Attacks

• 🎓 Selfish Mining Re-Examined. Kevin Alarcón Negy (Cornell University), Peter R. Rizun (Bitcoin Unlimited), Emin Gün Sirer (Cornell University). FC'20

  • Keyword: Consensus, Mining

• 🎓 Fairness and Efficiency in DAG-based Cryptocurrencies. Georgios Birmpas (University of Oxford), Elias Koutsoupias (University of Oxford), Philip Lazos (Sapienza University of Rome), Francisco J. Marmolejo Cossío (University of Oxford). FC'20

  • Keyword: Consensus, DAG

• 🎓 Stake Shift in Major Cryptocurrencies: An Empirical Study. Rainer Stütz (Austrian Institute of Technology), Peter Gaži (IOHK), Bernhard Haslhofer (Austrian Institute of Technology), Jacob Illium (Chainalysis). FC'20

  • Keyword: Consensus
  • Type: Empirical

• 🎓 Coded Merkle Tree: Solving Data Availability Attacks in Blockchains. Mingchao Yu (University of Southern California), Saeid Sahraei (University of Southern California), Songze Li, Salman Avestimehr (University of Southern California), Sreeram Kannan (University of Washington), Pramod Viswanath (University of Illinois at Urbana-Champaign). FC'20

  • Keyword: Consensus

• 🎓 Decentralized Privacy-Preserving Netting Protocol on Blockchain for Payment Systems. Shengjiao Cao (Ant Financial), Yuan Yuan (Ant Financial), Angelo De Caro (IBM Research), Karthik Nandakumar (IBM Research), Kaoutar Elkhiyaoui (IBM Research), Yanyan Hu (IBM Research). FC'20

  • Keyword: Economics

• 🎓 The Arwen Trading Protocols. Ethan Heilman (Boston University/Arwen), Sebastien Lipmann (Arwen), Sharon Goldberg (Boston University/Arwen). FC'20

  • Keyword: Economics

• 🎓 SoK: A Classification Framework for Stablecoin Designs. Amani Moin (Cornell University), Kevin Sekniqi (Cornell University), Emin Gün Sirer (Cornell University). FC'20

  • Keyword: System
  • Type: SoK

• 🎓 Zether: Towards Privacy in a Smart Contract World. Benedikt Bünz (Stanford University), Shashank Agrawal (Visa Research), Mahdi Zamani (Visa Research), Dan Boneh (Stanford University). FC'20

  • Keyword: Privacy, Smart Contract

• 🎓 An airdrop that preserves recipient privacy. Riad S. Wahby (Stanford), Dan Boneh (Stanford), Christopher Jeffrey (Purse.io), Joseph Poon (Lightning Network). FC'20

  • Keyword: Privacy, Smart Contract

• 🎓 SoK: Layer-Two Blockchain Protocols. Lewis Gudgeon (Imperial College London), Pedro Moreno-Sanchez (TU Wein), Stefanie Roos (TU Delft), Patrick McCorry (PISA Research), Arthur Gervais (Imperial College London). FC'20

  • Keyword: Scalability, Layer 2
  • Type: SoK

• 🎓 MicroCash: Practical Concurrent Processing of Micropayments. Ghada Almashaqbeh (Columbia), Allison Bishop (Proof of Trading and Columbia), Justin Cappos (New York University). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 LockDown: Balance Availability Attack against Lightning Network Channels. Cristina Pérez-Solà (Universitat Oberta de Catalunya), Alejandro Ranchal-Pedrosa (University of Sydney), Jordi Herrera-Joancomarti (Universitat Autònoma de Barcelona), Guillermo Navarro-Arribas (Universitat Autònoma de Barcelona), Joaquin Garcia-Alfaro (Institut Polytechnique de Paris). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 Ride the Lightning: The Game Theory of Payment Channels. Zeta Avarikioti (ETH Zurich), Lioba Heimbach (ETH Zurich), Yuyi Wang (ETH Zurich), Roger Wattenhofer (ETH Zurich). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 How to profit from payments channels. Oguzhan Ersoy (Delft University of Technology), Stefanie Roos (Delft University of Technology), Zekeriya Erkin (Delft University of Technology). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 Boomerang: Redundancy Improves Latency and Throughput in Payment Channel Networks. Joachim Neu (Stanford University), Vivek Bagaria (Stanford University), David Tse (Stanford University). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 DLSAG: Non-Interactive Refund Transactions For Interoperable Payment Channels in Monero. Pedro Moreno-Sanchez (TU Wien), Arthur Blue, Duc Le (Purdue University), Sarang Noether (Monero Research Lab), Brandon Goodell (Monero Research Lab), Aniket Kate (Purdue University). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 Cerberus Channels: Incentivizing Watchtowers for Bitcoin. Zeta Avarikioti (ETH Zurich), Orfeas Stefanos Thyfronitis Litos (University of Edinburgh), Roger Wattenhofer (ETH Zurich). FC'20

  • Keyword: Scalability, Layer 2

• 🎓 RingCT 3.0 for Blockchain Confidential Transaction: Shorter Size and Stronger Security. Tsz Hon Yuen (The University of Hong Kong), Shi-feng Sun (Monash University), Joseph K. Liu (Monash University), Man Ho Au (Hong Kong Polytechnic University), Muhammed F. Esgin (Monash University), Qingzhao Zhang (Shanghai Jiao Tong University), Dawu Gu (Shanghai Jiao Tong University). FC'20

  • Keyword: Privacy, RingCT

• 🎓 BLAZE: Practical Lattice-Based Blind Signatures for Privacy-Preserving Applications. Nabil Alkeilani Alkadri (Technische Universität Darmstadt), Rachid El Bansarkhani (QuantiCor Security GmbH), Johannes Buchmann (Technische Universität Darmstadt). FC'20

  • Keyword: Privacy, Blind Signatures

• 🎓 Two-Party State Channels with Assertions. Buckland C, McCorry P. FC '19.

  • Keyword: PC

• 🎓 Snow White: Provably Secure Proofs of Stake.. Bentov I, Pass R, Shi E. FC '19.

  • Keyword: PoS

• 🎓 Proof-of-Work Sidechains. Kiayias A, Zindros D. FC WTSC'19.

  • Keyword: Sidechains, Scalability

• 🎓 Hostile blockchain takeovers. Bonneau J. FC '18.

  • Keyword: Attacks

• 🎓 Teechan: Payment Channels Using Trusted Execution Environments. Lind J, Eyal I, Pietzuch P, Sirer EG. FC BITCOIN '17.

  • Keyword: PC

• 🎓 A Proof-of-Stake protocol for consensus on Bitcoin subchains. Bartoletti M, Lande S, & Podda A S. FC'17.

  • Keyword: PoS

• 🎓 A Smart Contract for Boardroom Voting with Maximum Voter Privacy. McCorry P, Shahandashti SF, Hao F. FC'17.

  • Keyword: Smart Contracts

• 🎓 Constant-deposit multiparty lotteries on Bitcoin. Bartoletti M, Zunino R. FC'17.

  • Keyword: Smart Contracts

• 🎓 PieceWork: Generalized Outsourcing Control for Proofs of Work. Daian P, Eyal I, Juels A, Sirer EG. FC'17.

  • Keyword: Economic, PoW

• 🎓 OpenTimestamps: Securing Software Updates using the Bitcoin Blockchain Financial Cryptography and Data Security. Todd P, Halpin H. (FC Poster'17)

  • Keyword: Application

• 🎓 A Proof-of-Stake protocol for consensus on Bitcoin subchains. Bartoletti M, Lande S, & Podda A S. FC'17.

  • Keyword: Consensus, PoW

• 🎓 Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies. Reyzin L, Meshkov D, Chepurnoy A, Ivanov S. FC'17.

  • Keyword: Scalability, Sidechains

• 🎓 Service-Oriented Sharding for Blockchains. Gencer AE, Van Renesse R, Sirer EG. FC'17.

  • Keyword: Scalability, Sharding

• 🎓 Could Network Information Facilitate Address Clustering in Bitcoin?. Neudecker T, Hartenstein H. FC'17.

  • Keyword: Privacy

• 🎓 Exchange Pattern Mining in the Bitcoin Transaction Directed Hypergraph. Ranshous S, Joslyn A, Kreyling S, Nowak K, Samatova N, West C, Winters C. FC'17.

  • Keyword: Privacy

• 🎓 Confidential Assets. Poelstra A, Back A, Friedenbach M, Maxwell G, Wuille P. FC'17.

  • Keyword: Privacy

• 🎓 Mixing Confidential Transactions: Comprehensive Transaction Privacy for Bitcoin. Ruffing T, Moreno-Sanchez P. FC'17.

  • Keyword: Privacy

• 🎓 Switch Commitments: A Safety Switch for Confidential Transactions. Ruffing T, Malavolta G. FC'17.

  • Keyword: Privacy

• 🎓 Escrow protocols for cryptocurrencies: How to buy physical goods using Bitcoin. Goldfeder S, Bonneau J, Gennaro R, Narayanan A. FC '17.

  • Keyword: Marketplaces

• 🎓 Trust Is Risk: A Decentralized Financial Trust Platform. Thyfronitis Litos OS, Zindros D. FC '17.

  • Keyword: Marketplaces

• 🎓 Incentivizing Blockchain Forks via Whale Transactions. Liao K, Katz J. FC '17.

  • Keyword: Economics

• 🎓 Smart Contracts Make Bitcoin Mining Pools Vulnerable. Velner Y, Teutsch J, Luu L. FC '17.

  • Keyword: Economics

• 🎓 Mixing Coins of Different Quality: A Game-Theoretic Approach. Abramova S, Schöttle P, Böhme R. FC '17.

  • Keyword: Economics

• 🎓 Decentralized Prediction Market without Arbiters. Bentov I, Mizrahi A, Rosenfeld M. FC '17.

  • Keyword: Economics

• 🎓 An analysis of Bitcoin OP_RETURN metadata. Bartoletti M, Pompianu L. FC'17.

  • Keyword: Survey, Sociological, Anthropological

• 🎓 Enhancing Bitcoin Transactions with Covenants. O’Connor R, Piekarska M. FC'17.

  • Keyword: Wallets

• 🎓 Bitcoin Covenants. Möser M, Eyal I, Sirer EG. FC'16.

  • Keyword: Wallets

• 🎓 The Other Side of the Coin: User Experiences with Bitcoin Security and Privacy. Krombholz K, Judmayer A, Gusenbauer M, Weippl E. FC'16.

  • Keyword: Survey, Sociological, Anthropological

• 🎓 Why buy when you can rent? Bribery attacks on Bitcoin-style consensus. Bonneau J. FC '16.

  • Keyword: Economics

• 🎓 Incentive Compatibility of Bitcoin Mining Pool Reward Functions. Schrijvers O, Bonneau J, Boneh D, Roughgarden T. FC '16.

  • Keyword: Economics

• 🎓 When cryptocurrencies mine their own business. Teutsch J, Jain S, Saxena P. FC '16.

  • Keyword: Economics

• 🎓 Optimal Selfish Mining Strategies in Bitcoin. Sapirshtein A, Sompolinsky Y, Zohar A. FC'16.

  • Keyword: Attacks

• 🎓 Refund attacks on Bitcoin’s Payment Protocol. McCorry P, Shahandashti S, Hao F. FC'16.

  • Keyword: Attacks

• 🎓 Cryptocurrencies without Proof of Work. Bentov I, Gabizon A, Mizrahi A. FC'16.

  • Keyword: PoS

• 🎓 Blindly Signed Contracts: Anonymous On-Blockchain and Off-Blockchain Bitcoin Transactions. Heilman E, Baldimtsi F, Goldberg S. FC'16.

  • Keyword: Privacy

• 🎓 Proofs of Proofs of Work with Sublinear Complexity. Kiayias A, Lamprou N, Stouka AP. FC'16.

  • Keyword: Scalability

• 🎓 On Scaling Decentralized Blockchains. Croman K, Decker C, Eyal I, Gencer AE, Juels A, Kosba A, Miller A, Saxena P, Shi E, Sirer EG, Song D. FC'16.

  • Keyword: Scalability

• 🎓 Stressing Out: Bitcoin “Stress Testing”. Baqer K, Yuxing Huang D, McCoy D, Weaver N. FC'16.

  • Keyword: Network

• 🎓 Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. Delmolino K, Arnett M, Kosba A, Miller A, Shi E. FC'16.

  • Keyword: Smart Contracts

• 🎓 EthIKS: Using Ethereum to audit a CONIKS key transparency log. Bonneau J. FC'16.

  • Keyword: Smart Contracts

• 🎓 Automated Verification of Electrum Wallet. Turuani M, Voegtlin T, Rusinowitch M. FC'16.

  • Keyword: Formal Methods

• 🎓 Cryptocurrencies without Proof of Work. Bentov I, Gabizon A, Mizrahi A. FC'16.

  • Keyword: Consensus

• 🎓 Optimal Selfish Mining Strategies in Bitcoin. Sapirshtein A, Sompolinsky Y, Zohar A. FC'16.

  • Keyword: Economic-PoW

• 🎓 Hierarchical deterministic Bitcoin wallets that tolerate key leakage. Gutoski G, Stebila D. FC'15.

  • Keyword: Wallets

• 🎓 ZombieCoin: Powering Next-Generation Botnets with Bitcoin. Ali ST, McCorry P, Lee PH, Hao F. FC'15.

  • Keyword: Crime

• 🎓 The Bitcoin Market Potential Index. Hileman G. FC'15.

  • Keyword: Survey, Sociological, Anthropological

• 🎓 Cryptographic Currencies from a Tech-Policy Perspective: Policy Issues and Technical Direction. McReynolds E, Lerner A, Scott W, Roesner F, Kohno T. FC'15.

  • Keyword: Survey, Sociological, Anthropological

• 🎓 On the Malleability of Bitcoin Transactions. Andrychowicz M, Dziembowski S, Malinowski D, Mazurek Ł. FC'15.

• 🎓 Cuckoo Cycle: a memory bound graph-theoretic proof-of-work. Tromp J. FC'15.

  • Keyword: Economic, PoW

• 🎓 Secure High-Rate Transaction Processing in Bitcoin. Sompolinsky Y, Zohar A. FC'15.

  • Keyword: Mining, GHOST

• 🎓 Inclusive Block Chain Protocols. Lewenberg Y, Sompolinsky Y, Zohar A. FC '15.

  • Keyword: Mining, ChainStructure

• 🎓 Secure High-Rate Transaction Processing in Bitcoin. Sompolinsky Y, Zohar A. FC'15.

  • Keyword: Consensus, PoW

• 🎓 Blindcoin Blinded, Accountable Mixes for Bitcoin. Valenta L, Rowan B. FC'15.

  • Keyword: Privacy

• 🎓 Issues in Designing a Bitcoin-Like Community Currency. Vandervort D, Gaucas D, St Jacques R. FC'15.

  • Keyword: Survey, Sociological, Anthropological

• 🎓 There’s No Free Lunch, Even Using Bitcoin: Tracking the Popularity and Profits of Virtual Currency Scams. Vasek M, Moore T. FC'15.

  • Keyword: Marketplaces

• 🎓 When Bitcoin Mining Pools Run Dry A Game-Theoretic Analysis of the Long-Term Impact of Attacks Between Mining Pools. Laszka A, Johnson B, Grossklags J. FC '15.

  • Keyword: Economics

• 🎓 Trends, Tips, Tolls: A Longitudinal Study of Bitcoin Transaction Fees. Möser M, Böhme R. FC '15.

  • Keyword: Economics

• 🎓 Game-Theoretic Analysis of DDoS Attacks Against Bitcoin Mining Pools. Johnson B, Laszka A, Grossklags J, Vasek M, Moore T. FC '14.

  • Keyword: Economics

• 🎓 Challenges and Opportunities Associated with a Bitcoin-based Transaction Rating System. Vandervort D. FC'14.

  • Keyword: Marketplaces

• 🎓 Majority Is Not Enough: Bitcoin Mining Is Vulnerable. Eyal I, Sirer EG. FC '14.

  • Keyword: Attacks, "Selfish Mining"

• 🎓 Increasing Anonymity in Bitcoin. Saxena A, Misra J, Dhar A. FC '14.

  • Keyword: Privacy

• 🎓 How Did Dread Pirate Roberts Acquire and Protect His Bitcoin Wealth?. Ron D, Shamir A. FC '14.

  • Keyword: Privacy

• 🎓 The Bitcoin P2P network. Donet Donet JA, Perez-Sola C, Herrera-Joancomart J. FC '14.

  • Keyword: Network

• 🎓 Empirical Analysis of Denial-of-Service Attacks in the Bitcoin Ecosystem. Vasek M, Thornton M, Moore T. FC '14.

  • Keyword: Network

• 🎓 Mixcoin: Anonymity for bitcoin with accountable mixes. Bonneau J, Narayanan A, Miller A, Clark J, Kroll JA, Felten EW. FC'14.

  • Keyword: Privacy

• 🎓 Rational Zero: Economic Security for Zerocoin with Everlasting Anonymity. Garman C, Green M, Miers I, Rubin A. FC'14.

  • Keyword: Privacy

• 🎓 Fair Two-Party Computations via Bitcoin Deposits. Andrychowicz M, Dziembowski S, Malinowski D, Mazurek Ł. FC'14.

  • Keyword: Smart Contracts

• 🎓 Majority Is Not Enough: Bitcoin Mining Is Vulnerable. Eyal I, Sirer EG. FC'14.

  • Keyword: Economic, PoW

• 🎓 Quantitative analysis of the full bitcoin transaction graph. Ron D, Shamir A. FC '13.

  • Keyword: Privacy

• 🎓 Commitcoin: Carbon dating commitments with bitcoin. Clark J, Essex A. FC'12.

  • Keyword: Application

• ShareLock: Mixing for Cryptocurrencies from Multiparty ECDSA. Omer Shlomovits and István András Seres. IACR'19.

  • Keyword: Privacy, TS, Mixing

• SoK: A Taxonomy for Layer-2 Scalability Related Protocols for Cryptocurrencies. Jourenko M, Kurazumi K, Larangeira M, Tanaka K. '19.

  • Keyword: PC
  • Type: SoK

• SoK: Off The Chain Transactions. Gudgeon L, Moreno-Sanchez P, Roos S, McCorry P, Gervais A. '19.

  • Keyword: PC

• Sprites and State Channels: Payment Channel Networks that Go Faster than Lightning Miller A, Bentov I, Kumaresan R, Cordi C, McCorry P. FC'19.

  • Keyword: PC

• Nitro Protocol. Close T. '19.

  • Keyword: PC

• NOCUST – A Non-Custodial 2nd-Layer Financial Intermediary. Khalil R, Gervais, A. ICAR'18.

  • Keyword: PC

• Counterfactual: Generalized state channels. Coleman J, Horne L, Xuanji L. '18.

  • Keyword: PC

• Flare: An Approach to Routing in Lightning Network. Prihodko P, Zhigulin S, Sahno M, Ostrovskiy A, Osuntokyn O. '16.

  • Keyword: PC

• The bitcoin lightning network: Scalable off-chain instant payments. Poon J, Dryja T. '15.

  • Keyword: PC

• Reaching The Ground With Lightning. Russell R. '15.

  • Keyword: PC, Deployable Lightning

• FlyClient: Super-Light Clients for Cryptocurrencies. B Bünz, L Kiffer, L Luu, M Zamani. IACR'19.

  • Keyword: Scalability

• A Scalable BlockDAG protocol. Sompolinsky Y, Zohar A. '18.

  • Keyword: Consensus, DAG, PHANTOM

• Snowflake to Avalanche: A Novel Metastable Consensus Protocol Family for Cryptocurrencies. Team Rocket. '18.

  • Keyword: Consensus, DAG

• Scaling Nakamoto Consensus to Thousands of Transactions per Second. Li C, Li P, Zhou D, Xu W, Long F, Chi-Chih Yao A. '18.

  • Keyword: Consensus, DAG

• PolyShard: Coded Sharding Achieves Linearly Scaling Efficiency and Security Simultaneously. Li S, Yu M, Avestimehr S, Kannan S, Viswanath P. CoRR'18.

  • Keyword: Scalability, Sharding

• Low-Resource Eclipse Attacks on Ethereum’s Peer-to-Peer Network. Marcus Y, Heilman E, Goldberg S. IACR'18.

  • Keyword: Attacks

• 🎓A systematic literature review of blockchain-based applications: Current status, classification and open issues. Casino F, Dasaklis T, Patsakis C. T&I'18.

  • Keyword: Applications
  • Type: Review

• Storj A Peer-to-Peer Cloud Storage Network. Shawn W., Tome B., Josh B., James P., Gordon H., Patrick G., Philip H., Chris P. '18

  • Keyword: Applications, Storage

• Blockstack Technical Whitepaper. Muneeb A., Ryan S., Jude N, Michael F. '17

  • Keyword: Applications

• BigchainDB: A Scalable Blockchain Database. McConaghy T, Marques R, Müller A, De Jonghe D, McConaghy T, McMullen G, Henderson R, Bellemare S, Granzotto A. '17

  • Keyword: Applications

• Non-Interactive Proofs of Proof-of-Work. Kiayias A, Miller A, Zindros D. IACR'17.

  • Keyword: Scalability

• Bitcoin's Academic Pedigree. Narayanan A, Clark J. ACM Queue '17.

  • Type: SoK

• 🎓 On Trees, Chains and Fast Transactions in the Blockchain. Kiayias A, Panagiotakos G. LATINCRYPT '17.

  • Keyword: Consensus

• 🎓 Transferable Anonymous Payments via TumbleBit in Permissioned Blockchains. Ferretti C, Leporati A, Mariot L, Nizzardo L. DLT '19.

  • Keyword: Privacy

• "MoneroLink": An Empirical Analysis of Linkability in the Monero Blockchain. Miller A, Möser M, Lee K, Narayanan A. '17.

  • Keyword: Privacy

• 🎓 ALGORAND: The Efficient and Democratic Ledger. Micali S. CoRR'16.

  • Keyword: PoS

• Bootstrapping the Blockchain - Directly. Garay JA, Kiayias A, Leonardos N, Panagiotakos G. IACR'16.

  • Keyword: Mining

• Blockchain-Free Cryptocurrencies: A Framework for Truly Decentralised Fast Transactions Boyen X, Carr C, Haines T. '16.

  • Keyword: Consensus, DAG

• SPECTRE: A Fast and Scalable Cryptocurrency Protocol. Sompolinsky Y, Lewenberg Y, Zohar A. '16.

  • Keyword: Consensus, DAG

• Byteball: A Decentralized System for Storage and Transfer of Value Churyumov A. '16.

  • Keyword: Consensus, DAG

• DAGcoin Whitepaper Ribero Y, Raissar D. '15.

  • Keyword: Consensus, DAG

• Speed-Security Tradeoffs in Blockchain Protocols. Kiayias A, Panagiotakos G. IACR'15.

  • Keyword: Mining

• 🎓 CoinParty: Secure Multi-Party Mixing of Bitcoins. Ziegeldorf, J.H., Grossmann, F., Henze, M., Inden, N. and Wehrle, K. CODASPY '15.

  • Keyword: Privacy

• Data-Driven De-Anonymization in Bitcoin. Nick J. Diss. ETH-Zürich, '15.

  • Keyword: Privacy, Attacks

• Trust in decentralized anonymous marketplaces. Zindros D. '15.

  • Keyword: Marketplaces

• The stellar consensus protocol: A federated model for internet-level consensus. Mazières D. '15.

  • Keyword: Marketplaces

• 🎓 A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels. Decker C, Wattenhofer R. SSS'15.

  • Keyword: PC

• Decentralized trusted timestamping using the crypto currency bitcoin. Gipp B., Meuschke N., Gernandt A. CoRR'15

  • Keyword: Applications

• IPFS - Content Addressed, Versioned, P2P File System. Benet J. CoRR'14

  • Keyword: Applications, IPFS

• A next-generation smart contract and decentralized application platform. Vitalik Buterin. '14.

  • Keyword: Smart Contracts, Ethereum

• Ethereum: A secure decentralised generalised transaction ledger. Wood G. '14.

  • Keyword: Smart Contracts, Ethereum

• Distributed Cryptography Based on the Proofs of Work. Andrychowicz M, and Dziembowski S. IACR'14.

  • Keyword: Consensus, PoW

• Anonymous Byzantine Consensus from Moderately-Hard Puzzles: A Model for Bitcoin. Miller A, LaViola JJ Jr. '14.

  • Keyword: Consensus

• Enabling Blockchain Innovations with Pegged Sidechains. Back A, Corallo M, Dashjr L, Friedenbach M, Maxwell G, Miller A, Poelstra A, Timón J, Wuille P. '14.

  • Keyword: Scalability, Sidechains

• The Ripple protocol consensus algorithm. Schwartz D, Youngs N, Britto A. '14.

  • Keyword: Marketplaces

• Information Propagation in the Bitcoin Network. Decker C., Wattenhofer R. P2P'13.

  • Keyword: Network

• CryptoNote v2.0. Saberhagen N. '13

  • Keyword: Privacy, Monero

• Theoretical Bitcoin Attacks with less than Half of the Computational Power. Bahack L. CoRR'13.

  • Keyword: Attacks

• 🎓 The Economics of Bitcoin Mining or Bitcoin in the Presence of Adversaries. Kroll J, Davey I, Felten E. WEIS '13.

  • Keyword: Economics

• 🎓 On Bitcoin and Red Balloons. Babaioff M, Dobzinski S, Oren S, Zohar A. EC'12.

  • Keyword: Economics

• Bitcoin: A Peer-to-Peer Electronic Cash System. Nakamoto S. '08.

  • Keyword: SoK, Bitcoin

• Money as IOUs in social trust networks & a proposal for a decentralized currency network protocol. Fugger R. '04.

  • Keyword: Marketplaces

• Hashcash - A Denial of Service Counter-Measure. Back A. '02.

  • Keyword: PoW

• 🎓 Paxos Made Simple Lamport L. '00, ACM SIGACT News '01.

  • Keyword: Consensus

• 🎓 Accountability in a Permissioned Blockchain:Formal Analysis of Hyperledger Fabric. Ralf Küsters, Daniel Rausch, and Mike Simon (University of Stuttgart). EuroS&P'20

  • Keyword: Formal Methods

• 🎓 Revisiting Transactional Statistics of High-scalability Blockchain. Daniel Perez (Imperial College London); Jiahua Xu (UCL); Benjamin Livshits (Imperial College London). IMC'20

  • Keyword: Scalability
  • Type: Empirical

This list is released into the public domain.