Standard
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. ed. / Sanjay Misra; Osvaldo Gervasi; Beniamino Murgante; Elena Stankova; Vladimir Korkhov; Carmelo Torre; Eufemia Tarantino; Ana Maria A.C. Rocha; David Taniar; Bernady O. Apduhan. Cham : Springer Nature, 2019. p. 522-536 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11620).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Harvard
Kirillov, D
, Iakushkin, O, Korkhov, V & Petrunin, V 2019,
Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. in S Misra, O Gervasi, B Murgante, E Stankova, V Korkhov, C Torre, E Tarantino, AMAC Rocha, D Taniar & BO Apduhan (eds),
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 Nature, Cham, pp. 522-536, 19th International Conference on Computational Science and Its Applications, ICCSA 2019, Saint Petersburg, Russian Federation,
1/07/19.
https://doi.org/10.1007/978-3-030-24296-1_41APA
Kirillov, D.
, Iakushkin, O., Korkhov, V., & Petrunin, V. (2019).
Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In S. Misra, O. Gervasi, B. Murgante, E. Stankova, V. Korkhov, C. Torre, E. Tarantino, A. M. A. C. Rocha, D. Taniar, & B. O. Apduhan (Eds.),
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). Springer Nature.
https://doi.org/10.1007/978-3-030-24296-1_41Vancouver
Kirillov D
, Iakushkin O, Korkhov V, Petrunin V.
Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In Misra S, Gervasi O, Murgante B, Stankova E, Korkhov V, Torre C, Tarantino E, Rocha AMAC, Taniar D, Apduhan BO, editors, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Cham: Springer Nature. 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_41Author
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. editor / Sanjay Misra ; Osvaldo Gervasi ; Beniamino Murgante ; Elena Stankova ; Vladimir Korkhov ; Carmelo Torre ; Eufemia Tarantino ; Ana Maria A.C. Rocha ; David Taniar ; Bernady O. Apduhan. Cham : Springer Nature, 2019. pp. 522-536 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@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; 19th International Conference on Computational Science and Its Applications, ICCSA 2019 ; Conference date: 01-07-2019 Through 04-07-2019",
year = "2019",
month = jul,
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 Nature",
pages = "522--536",
editor = "Sanjay Misra and Osvaldo Gervasi and Beniamino Murgante and Elena Stankova and Vladimir Korkhov and Carmelo Torre and Eufemia Tarantino and Rocha, {Ana Maria A.C.} and David Taniar and Apduhan, {Bernady O.}",
booktitle = "Computational Science and Its Applications – ICCSA 2019",
address = "Germany",
}
RIS
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 - Conference code: 19
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
UR - http://www.mendeley.com/research/evaluation-tools-analyzing-smart-contracts-distributed-ledger-technologies
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
A2 - Misra, Sanjay
A2 - Gervasi, Osvaldo
A2 - Murgante, Beniamino
A2 - Stankova, Elena
A2 - Korkhov, Vladimir
A2 - Torre, Carmelo
A2 - Tarantino, Eufemia
A2 - Rocha, Ana Maria A.C.
A2 - Taniar, David
A2 - Apduhan, Bernady O.
PB - Springer Nature
CY - Cham
T2 - 19th International Conference on Computational Science and Its Applications, ICCSA 2019
Y2 - 1 July 2019 through 4 July 2019
ER -
