We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CR

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Cryptography and Security

Title: Towards Safer Smart Contracts: A Sequence Learning Approach to Detecting Security Threats

Abstract: Symbolic analysis of security exploits in smart contracts has demonstrated to be valuable for analyzing predefined vulnerability properties. While some symbolic tools perform complex analysis steps, they require a predetermined invocation depth to search vulnerable execution paths, and the search time increases with depth. The number of contracts on blockchains like Ethereum has increased 176 fold since December 2015. If these symbolic tools fail to analyze the increasingly large number of contracts in time, entire classes of exploits could cause irrevocable damage. In this paper, we aim to have safer smart contracts against emerging threats. We propose the approach of sequential learning of smart contract weaknesses using machine learning---long-short term memory (LSTM)---that allows us to be able to detect new attack trends relatively quickly, leading to safer smart contracts. Our experimental studies on 620,000 smart contracts prove that our model can easily scale to analyze a massive amount of contracts; that is, the LSTM maintains near constant analysis time as contracts increase in complexity. In addition, our approach achieves $99\%$ test accuracy and correctly analyzes contracts that were false positive (FP) errors made by a symbolic tool.
Comments: 10 pages
Subjects: Cryptography and Security (cs.CR)
Cite as: arXiv:1811.06632 [cs.CR]
  (or arXiv:1811.06632v3 [cs.CR] for this version)

Submission history

From: Wesley Joon-Wie Tann [view email]
[v1] Fri, 16 Nov 2018 00:02:59 GMT (436kb,D)
[v2] Mon, 4 Feb 2019 07:06:43 GMT (936kb,D)
[v3] Fri, 7 Jun 2019 06:42:04 GMT (405kb,D)

Link back to: arXiv, form interface, contact.