Corpus ID: 174801190

Smart Contract Design Meets State Machine Synthesis: Case Studies

  title={Smart Contract Design Meets State Machine Synthesis: Case Studies},
  author={D. Suvorov and V. Ulyantsev},
  • D. Suvorov, V. Ulyantsev
  • Published 2019
  • Computer Science
  • ArXiv
  • Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for security attacks. It has been shown that many contracts deployed to public ledgers contain security vulnerabilities. Moreover, the design of blockchain systems does not allow the code of the smart contract to be changed after it has been deployed to the system… CONTINUE READING
    3 Citations
    A Survey of Smart Contract Formal Specification and Verification
    • 3
    • Highly Influenced
    • PDF
    Analysis of Blockchain Smart Contracts: Techniques and Insights


    Towards verifying ethereum smart contract bytecode in Isabelle/HOL
    • 117
    • PDF
    Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
    • 89
    • Highly Influential
    • PDF
    Model-Checking of Smart Contracts
    • Zeinab Nehai, Pierre-Yves Piriou, Frédéric F. Daumas
    • Computer Science
    • 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)
    • 2018
    • 26
    • PDF
    Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts
    • 8
    Writing safe smart contracts in Flint
    • 25
    • PDF
    Making Smart Contracts Smarter
    • 753
    • PDF
    Scilla: a Smart Contract Intermediate-Level LAnguage
    • 76
    • PDF