Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: Randomness invalidates criminal smart contracts
Author(s): Wang, Yilei
Bracciali, Andrea
Li, Tao
Li, Fengyin
Cui, Xinchun
Zhao, Minghao
Contact Email:
Keywords: Control and Systems Engineering
Theoretical Computer Science
Information Systems and Management
Artificial Intelligence
Computer Science Applications
Issue Date: 31-Mar-2019
Date Deposited: 7-Dec-2018
Citation: Wang Y, Bracciali A, Li T, Li F, Cui X & Zhao M (2019) Randomness invalidates criminal smart contracts. Information Sciences, 477, pp. 291-301.
Abstract: A smart contract enforces specific performance on anonymous users without centralization. It facilitates payment equity in commerce by providing irreversible transactions. Smart contracts are also used for illegal activities such as money laundering and ransomware. Such contracts include criminal smart contracts (CSCs), proposed in CCS’16, that can be efficiently implemented in existing scripting languages. This aggravates concerns about the dangers of CSCs. However, PublicLeaks, a CSC for leaking private data, is conditionally implemented as it is influenced by various factors. For example, PublicLeaks does not necessarily reach a desirable terminal state for a criminal leaking private information, and other possible terminal states may invalidate the CSC. In this study, we propose a CSC based on PublicLeaks by formulating random factors such as the donation ratio. Our contract forks into five terminal states, including a unique one in PublicLeaks due to randomness. We simulated the maximal probabilities of these terminal states and found that the desirable terminal state in PublicLeaks is reachable with low probabilities (lower than 25%). The terminal state where the criminal fails to leak private information is attained with relatively high probabilities (over 65%). Therefore, our simulations show that CSCs are not always as powerful as expected, and the risk posed by them can be mitigated.
DOI Link: 10.1016/j.ins.2018.10.057
Rights: This item has been embargoed for a period. During the embargo please use the Request a Copy feature at the foot of the Repository record to request a copy directly from the author. You can only request a copy if you wish to use this work for your own research or private study. Accepted refereed manuscript of: Wang Y, Bracciali A, Li T, Li F, Cui X & Zhao M (2019) Randomness invalidates criminal smart contracts. Information Sciences, 477, pp. 291-301. DOI: © 2018, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Licence URL(s):

Files in This Item:
File Description SizeFormat 
elsarticle-template.pdfFulltext - Accepted Version554.68 kBAdobe PDFView/Open

This item is protected by original copyright

A file in this item is licensed under a Creative Commons License Creative Commons

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.