?
Statistical Model Checking of Common Attack Scenarios on Blockchain
P. 65–77.
Fedotov I., Anton Khritankov
Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the history of committed transactions. That means that developers should consider blockchain vulnerabilities and eliminate them before the deployment of the system. In this paper, we demonstrate a statistical model checking approach for the verification of blockchain systems on three real-world attack scenarios. We build and verify models of DNS attack, double-spending with memory pool flooding, and consensus delay scenario. After that, we analyze experimental results and propose solutions to avoid these kinds of attacks.
In book
Open Publishing Association, 2021.
Tyurkin M., Azamat A., Cham: Springer, 2025.
This chapter explores the role of tokenization in blockchain technologies. Tokenization is a key enabler of the smart circular economy and organizational sustainability. Tokenization involves converting assets or value into digital tokens on a blockchain. This process offers new opportunities to enhance resource efficiency, transparency, and accountability within circular economy initiatives. By leveraging blockchain’s immutable ...
Added: July 20, 2026
Бояров Е. Н., Социальная компетентность 2025 Т. 10 № 2 С. 42–51
The article addresses the problem of integrating new digital technologies into modern education to enhance its effectiveness and quality. The purpose of the study is to summarize theoretical and practical approaches to the use of digital tools in educational environments and to identify key directions and barriers to the digital transformation of education. The research ...
Added: December 9, 2025
Гаман-Голутвина О.В., В кн.: Альтернативы цифровизации: сохранится ли человек в цивилизации будущего?.: М.: Канон+, 2025. Гл. 5 С. 71–89.
How does the use of digitalization and artificial intelligence affect human development? The book presents the experience of interdisciplinary research of this problem, which has become one of the leading global problems of the modern world today. Philosophers, biologists,
sociologists, cultural scientists, psychologists, educators, mathematicians, experts in the field of technical knowledge and social practice take ...
Added: December 8, 2025
IEEE, 2025.
The covered topics include but not limited to
Information and coding theory,
Telecommunication technologies and networks, Internet of things systems,
Data security, blockchain and control systems. ...
Added: November 10, 2025
Trofimov S., Voskov L., Komarov M. M., Бизнес-информатика 2025 Т. 19 № 3 С. 67–84
In the face of growing competition in the transportation market, companies are looking for new ways to improve operational efficiency and reduce fleet maintenance costs. This article presents an innovative vehicle technical condition management model that describes a mechanism for assessing the condition of vehicles using distributed ledger technology (DLT) and smart contracts. An information ...
Added: September 23, 2025
Teterin M., Экономическая политика 2025 Т. 20 № 4 С. 82–117
Bitcoin, Ether, Litecoin and XRP are among the largest cryptocurrencies and together have a market capitalization that constitutes a substantial portion of the digital asset market. At the same time, the cryptocurrency market differs from that of traditional financial assets because it has greater price volatility, which makes constructing more accurate forecasts of daily volatility ...
Added: September 2, 2025
Buyanova M., Законы России: опыт, анализ, практика 2025 № 5 С. 59–62
Protection of Intellectual Rights of Scientists. Problems and Application Practices The article reveals the problems of protecting the intellectual rights of scientists. It is noted that due to various legal regulations, relations to protect the right to authorship of works created by employees in the course of their work (inventions, discoveries, etc.) face a number ...
Added: June 21, 2025
Avdoshin S. M., Тарасова Д. Д., Информационные технологии 2025 Т. 31 № 5 С. 258–270
Tokenization of communities is a new field of study that has emerged at the intersection of informational technology and social and economic sciences. This paper identifies the main tools for tokenizing communities, the existing approaches to implementing these tools, the challenges of tokenized communities, and methods for addressing these challenges to develop a comprehensive system ...
Added: May 6, 2025
Afanaseva I., Sorokin P., Шаги/Steps 2026 С. 325–351
Currently, the layers of artistic reality based on technological developments and mass communication systems are rapidly expanding. Since 2021, the growth in sales of NFT-art has been continuous. Based on both a review of existing scientific and expert discussions and an analysis of individual cases of art, the article examines the basic principles of NFT-art ...
Added: April 28, 2025
Chaleenutthawut Y., Davydov V., Evdokimov M. et al., IEEE Access 2024 Vol. 12 P. 24843–24854
Decentralized finance (DeFi) offers a range of financial instruments and services that leverage the capabilities of web3 technology. Maker protocol, which enables users to obtain loans backed by cryptocurrencies, is one of them. Unlike traditional banks, Maker’s data is transparently recorded on the Ethereum blockchain. In this research paper, we focus on analyzing the lending ...
Added: September 4, 2024
А. Т. Джонов, С. М. Авдошин, Информационные технологии 2024 Т. 30 № 3 С. 133–139
Currently, there is an active use of distributed registry technology in various sectors of the economy by providing transparency, improving tracking of actions within processes, and ensuring trust in open systems. There is a need to evaluate the performance of distributed registries based on measurable indicators. The article presents an overview of distributed registries performance ...
Added: April 4, 2024
Булыга Е. С., В кн.: Статистические методы анализа экономики и общества. 14-я Международная научно-практическая конференция студентов и аспирантов (16-19 мая 2023 г.).: М.: Издательский дом НИУ ВШЭ, 2023. С. 58–60.
Цифровые трансформации происходят во всех сферах жизни общества. Стремительно развивается цифровой формат предоставления продуктов и услуг. Банковский сектор является важнейшей составляющей финансовой системы России и очень восприимчив к инновациям, поэтому в сфере использования финансовых технологий в банковской сфере также произошли серьезные изменения. Так, согласно данным Банка России, количество счетов с дистанционным доступом в 2021 г. ...
Added: January 16, 2024
Between Сrypto Art and Copyright: NFT Tokens as Tools for Confirming the Authenticity of Art Objects
Kartasheva Anna, Trubina M., Changing Societies and Personalities 2024 Vol. 8 No. 2 P. 508–525
The symbiosis of blockchain technology with human creativity has given rise to what we now call crypto art, marking a new frontier in digital artistic expression. This development has profoundly altered our understanding of digital artifacts and ownership in this domain. Once easily accessible to all, digital art poses a unique challenge in the realm ...
Added: October 20, 2023
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Multi-party agreements are used in distributed ledger systems and blockchain networks to reach an agreement on changes in the system. When one of the network participants proposes a transaction to be recorded, it should be first confirmed by certain network participants. A multi-party agreement or consensus determines who exactly these participants are. Based on the ...
Added: October 9, 2023
Budnik R., Journal of Digital Technologies and Law 2023 Т. 1 № 3 С. 587–611
Objective: tokenization of creativity, alongside with cryptoeconomy and Web3 network infrastructure, is a notable trend in the development of modern society in the third decade of the 21st century. The objective of this article is to explore the risks and prospects emerging in the process of disposition of the creative labor results in the form ...
Added: August 22, 2023
Nikiporets-Takigawa G., Skorodumova O., Melikov I., Revista Conrado 2022 Vol. 18 No. 88 P. 285–290
The article explored new needs in the higher education system in Russia in the context of the global digitalization of society. The innovative possibilities of using the new social network technologies blockchain, big data, collective intelligence technologies, and artificial intelligence in higher education were analyzed. Russian projects for their use in the practical activities of ...
Added: July 19, 2023
Fedotov I., Anton Khritankov, Barger A., , in: 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022.: IEEE, 2022. P. 55–58.
Blockchain technology has developed rapidly over the last few years. A Blockchain network uses the multi-party agreement concept to reach an agreement on the transaction confirmation. As the technology is new, tools and techniques for blockchain verification are still under development. We explore optimization techniques of weighted multi-party agreements with stochastic properties in the current ...
Added: June 16, 2023
Prokhorov V., Васильев П. С., Жгулёва Е. А., Логистика 2020 № 3 (160) С. 44–48
In present article the practices of using innovative blockchain transport technologies and smart contracts in Maritime transport are examined, companies that provide logistics services using these technologies are analyzed, successful examples of their implementation are also presented. ...
Added: May 15, 2023
Vlasov A., Russian Journal of Economics and Law 2022 Т. 16 № 4 С. 745–761
Objective: to analyze the transforming socio-economic relations of the new “digital normality”, to which end the task is solved of bringing into line the terminology used in business turnover between various participants in the digital assets market, in the practical financial activities of economic entities arising in a specific territory, in a certain legal field, and ...
Added: February 9, 2023
Arzamasov Y., Певцова Е. А., Вестник Московского государственного областного университета. Серия: Юриспруденция 2022 № 4 С. 24–34
Aim. To reveal the possibilities of digitalization for the systematization of legal terminology.
Methodology. Both general techniques (methods of analysis and synthesis, formulation of definitions) and private legal methods (legal statistics, legal forecasting, legal modeling) were used, which made it possible to obtain research results and answer the question about the role of digitalization in the ...
Added: January 21, 2023