Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies

Research outputpeer-review

Abstract

Despite the fact that the extent of interest in distributed ledger technologies has slightly decreased after the peak of Bitcoin popularity this area continues to evolve. One of the popular areas is the development of smart contracts which introduces a new paradigm of writing programs. This inflicts additional difficulties associated primarily with the high costs of error. This paper reviews the typical vulnerabilities that are widespread during development in the Solidity language. It also presents an analysis of existing tools to help identify software bugs. It is shown that there is no universal technique at the moment and if the risks are high, one should not solely check the code with available instruments but also conduct a manual audit with help of an expert.

Original languageEnglish
Title of host publicationComputational Science and Its Applications – ICCSA 2019
Subtitle of host publication19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Place of PublicationCham
PublisherSpringer
Pages522-536
ISBN (Electronic)978-3-030-24296-1
ISBN (Print)978-3-030-24295-4
DOIs
Publication statusPublished - 1 Jul 2019
Event19th International Conference on Computational Science and Its Applications, ICCSA 2019 - Saint Petersburg
Duration: 1 Jul 20194 Jul 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume11620
ISSN (Print)0302-9743

Conference

Conference19th International Conference on Computational Science and Its Applications, ICCSA 2019
CountryRussian Federation
CitySaint Petersburg
Period1/07/194/07/19

Fingerprint

Audit
Evaluation
Vulnerability
Costs
Continue
Paradigm
Moment
Software
Review
Language

Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kirillov, D., Iakushkin, O., Korkhov, V., & Petrunin, V. (2019). Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II (pp. 522-536). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620). Cham: Springer. https://doi.org/10.1007/978-3-030-24296-1_41
Kirillov, Denis ; Iakushkin, Oleg ; Korkhov, Vladimir ; Petrunin, Vadim. / Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham : Springer, 2019. pp. 522-536 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{90bf672d6e184f3da2c151508a3592ab,
title = "Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies",
abstract = "Despite the fact that the extent of interest in distributed ledger technologies has slightly decreased after the peak of Bitcoin popularity this area continues to evolve. One of the popular areas is the development of smart contracts which introduces a new paradigm of writing programs. This inflicts additional difficulties associated primarily with the high costs of error. This paper reviews the typical vulnerabilities that are widespread during development in the Solidity language. It also presents an analysis of existing tools to help identify software bugs. It is shown that there is no universal technique at the moment and if the risks are high, one should not solely check the code with available instruments but also conduct a manual audit with help of an expert.",
keywords = "Blockchain, Distributed ledger technologies, Ethereum, Smart contracts",
author = "Denis Kirillov and Oleg Iakushkin and Vladimir Korkhov and Vadim Petrunin",
note = "Kirillov D., Iakushkin O., Korkhov V., Petrunin V. (2019) Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In: Misra S. et al. (eds) Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science, vol 11620. Springer, Cham",
year = "2019",
month = "7",
day = "1",
doi = "10.1007/978-3-030-24296-1_41",
language = "English",
isbn = "978-3-030-24295-4",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "522--536",
booktitle = "Computational Science and Its Applications – ICCSA 2019",
address = "Germany",

}

Kirillov, D, Iakushkin, O, Korkhov, V & Petrunin, V 2019, Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. in Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11620, Springer, Cham, pp. 522-536, Saint Petersburg, 1/07/19. https://doi.org/10.1007/978-3-030-24296-1_41

Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. / Kirillov, Denis; Iakushkin, Oleg; Korkhov, Vladimir; Petrunin, Vadim.

Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham : Springer, 2019. p. 522-536 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620).

Research outputpeer-review

TY - GEN

T1 - Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies

AU - Kirillov, Denis

AU - Iakushkin, Oleg

AU - Korkhov, Vladimir

AU - Petrunin, Vadim

N1 - Kirillov D., Iakushkin O., Korkhov V., Petrunin V. (2019) Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In: Misra S. et al. (eds) Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science, vol 11620. Springer, Cham

PY - 2019/7/1

Y1 - 2019/7/1

N2 - Despite the fact that the extent of interest in distributed ledger technologies has slightly decreased after the peak of Bitcoin popularity this area continues to evolve. One of the popular areas is the development of smart contracts which introduces a new paradigm of writing programs. This inflicts additional difficulties associated primarily with the high costs of error. This paper reviews the typical vulnerabilities that are widespread during development in the Solidity language. It also presents an analysis of existing tools to help identify software bugs. It is shown that there is no universal technique at the moment and if the risks are high, one should not solely check the code with available instruments but also conduct a manual audit with help of an expert.

AB - Despite the fact that the extent of interest in distributed ledger technologies has slightly decreased after the peak of Bitcoin popularity this area continues to evolve. One of the popular areas is the development of smart contracts which introduces a new paradigm of writing programs. This inflicts additional difficulties associated primarily with the high costs of error. This paper reviews the typical vulnerabilities that are widespread during development in the Solidity language. It also presents an analysis of existing tools to help identify software bugs. It is shown that there is no universal technique at the moment and if the risks are high, one should not solely check the code with available instruments but also conduct a manual audit with help of an expert.

KW - Blockchain

KW - Distributed ledger technologies

KW - Ethereum

KW - Smart contracts

UR - http://www.scopus.com/inward/record.url?scp=85069204349&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-24296-1_41

DO - 10.1007/978-3-030-24296-1_41

M3 - Conference contribution

AN - SCOPUS:85069204349

SN - 978-3-030-24295-4

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 522

EP - 536

BT - Computational Science and Its Applications – ICCSA 2019

PB - Springer

CY - Cham

ER -

Kirillov D, Iakushkin O, Korkhov V, Petrunin V. Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham: Springer. 2019. p. 522-536. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-24296-1_41