VULTRON: Catching vulnerable smart contracts once and for all

Haijun Wang, Yi Li, Shang Wei Lin, Lei Ma, Yang Liu

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

抜粋

Despite the high stakes involved, smart contracts are often developed in an undisciplined way thus far. The existence of vulnerabilities compromises the security and reliability of smart contracts, and endangers the trust of participants in their ongoing businesses. Existing vulnerability detection techniques are often designed case-by-case, making them difficult to generalize. In this paper, we design general principles for detecting vulnerable smart contracts. Our key insight is that almost all the existing transaction-related vulnerabilities are due to the mismatch between the actual transferred amount and the amount reflected on the contract's internal bookkeeping. Based on this, we propose a precise and generally applicable technique, VULTRON, which can detect irregular transactions due to various types of adversarial exploits. We also report preliminary results applying our technique to real-world case studies.

元の言語英語
ホスト出版物のタイトルProceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering
ホスト出版物のサブタイトルNew Ideas and Emerging Results, ICSE-NIER 2019
出版者Institute of Electrical and Electronics Engineers Inc.
ページ1-4
ページ数4
ISBN(電子版)9781728117584
DOI
出版物ステータス出版済み - 5 2019
イベント41st IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019 - Montreal, カナダ
継続期間: 5 25 20195 31 2019

出版物シリーズ

名前Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019

会議

会議41st IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019
カナダ
Montreal
期間5/25/195/31/19

    フィンガープリント

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Software
  • Safety, Risk, Reliability and Quality

これを引用

Wang, H., Li, Y., Lin, S. W., Ma, L., & Liu, Y. (2019). VULTRON: Catching vulnerable smart contracts once and for all. : Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019 (pp. 1-4). [8805696] (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2019). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICSE-NIER.2019.00009