Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииComputational Science and Its Applications – ICCSA 2019
Подзаголовок основной публикации19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II
Место публикацииCham
ИздательSpringer Nature
Страницы522-536
ISBN (электронное издание)978-3-030-24296-1
ISBN (печатное издание)978-3-030-24295-4
DOI
СостояниеОпубликовано - 1 июл 2019
Событие19th International Conference on Computational Science and Its Applications, ICCSA 2019 - Saint Petersburg, Российская Федерация
Продолжительность: 1 июл 20194 июл 2019

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer
Том11620
ISSN (печатное издание)0302-9743

Конференция

Конференция19th International Conference on Computational Science and Its Applications, ICCSA 2019
СтранаРоссийская Федерация
ГородSaint Petersburg
Период1/07/194/07/19

Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

Fingerprint Подробные сведения о темах исследования «Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Kirillov, D., Iakushkin, O., Korkhov, V., & Petrunin, V. (2019). 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 (стр. 522-536). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 11620). Springer Nature. https://doi.org/10.1007/978-3-030-24296-1_41