A Smart Contract Weakness and Security Hole Analyzer Using Virtual Machine Based Dynamic Monitor

Yunsik Son, Yangsun Lee

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

Blockchain-based smart contracts are a technology for decentralized applications, and their usefulness and development potential have been highly evaluated. However, as a technology developed over an extremely short period, there are many flaws in the programming language and execution environment used for developing and executing smart contracts. In this study, a software weakness analyzer is proposed to detect possible software weaknesses in smart contracts. The proposed analyzer examines software weaknesses through a security-level information flow. For this purpose, the semantics of a smart contract when converted into an intermediate code are defined and analyzed on a dynamic monitor.

Original languageEnglish
Pages (from-to)36-52
Number of pages17
JournalJournal of Logistics, Informatics and Service Science
Volume9
Issue number1
DOIs
StatePublished - 2022

Keywords

  • Blockchain
  • security-level information flow
  • semantics
  • smart contract
  • software weakness

Fingerprint

Dive into the research topics of 'A Smart Contract Weakness and Security Hole Analyzer Using Virtual Machine Based Dynamic Monitor'. Together they form a unique fingerprint.

Cite this