Overview of the Languages for Safe Smart Contract Programming

Overview of the Languages for Safe Smart Contract Programming

Blockchain technologies are gradually being found an application in many areas, especially in FinTech. As a result, a lot of blockchain platforms have emerged with the support of smart contracts that are intended to automate party interactions. However, it has been shown that they are prone to attac...

Full description

Bibliographic Details
Main Authors: Alexey Valerievitch Tyurin, Ivan Vladimirovitch Tyulyandin, Vladimir S. Maltsev, Jacob Alexandrovitch Kirilenko, Daniil Andreevitch Berezun
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2019-09-01
Series:Труды Института системного программирования РАН
Subjects:
блокчейн
безопасность смарт-контрактов
языки программирования
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/1185

Similar Items

Similar Items