?
Analysis of Russian key-agreement protocols using automated verification tools
Математические вопросы криптографии. 2017. Vol. 8. No. 2. P. 131–142.
Семенов А. М.
We study several Russian key-agreement cryptographic protocols for compliance with specified security properties in view of possible adoption of these protocols as standardized solutions intended to be used in the Russian Federation. We have used a number of automatic cryptographic protocol verification tools available in the Internet such as Proverif, AVISPA-SPAN and Scyther, to simulate examined protocols. We find a number of vulnerabilities and propose ways to fix them.
Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...
Added: September 28, 2026
Добрина Д. Н., Nesterenko A., Прикладная дискретная математика. Приложение 2026 № 19 С. 151–159
Работа содержит результаты формального анализа криптографических механизмов, входящих в состав проекта методических рекомендаций «Защищенный универсальный протокол передачи данных и управления микросхемой интеллектуальной карты» (протокол SECUNDA). Получена формальная модель и перечень трудноразрешимых математических задач, трудоёмкостью решения которых можно оценить стойкость используемых криптографических механизмов. ...
Added: September 24, 2026
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 2026
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer: original packets are encoded into coded packets, and the message is reconstructed after the first successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
А. Ю. Нестеренко, А. М. Семенов, Прикладная дискретная математика 2022 № 56 С. 33–82
This paper proposes a method for evaluating the security of cryptographic protocols used to protect information in telecommunication networks, as well as in networks of the “Internet of Things”. The procedure for evaluation of information system security is described, including the construction of the list of threats, the threat model, and detailing of the model ...
Added: July 7, 2022
A Comprehensive and Reproducible Comparison of Cryptographic Primitives Execution on Android Devices
Ometov A., Zeman K., Masek P. et al., IEEE Access 2021 No. 9 P. 54625–54638
With technology evolving rapidly and proliferating, it is imperative to pay attention to mobile devices’ security being currently responsible for various sensitive data processing. This phase is essential as an intermediate before the cloud or distributed ledger storage delivery and should be considered additional care due to its inevitability. This paper analyzes the security mechanisms ...
Added: August 26, 2021
Кацман В., Новиков Ф., Мосин В. Д., IOP Conference Series: Materials Science and Engineering (MSE) 2020 Vol. 734 P. 012132
The solution of mathematical and logical problems is the imperative element of the
educational process in the technical sciences. To solidify the assimilated skills, learner need to
solve a large number of educational tasks, that leads to the need of checking of a large number
of solutions. In lots of cases the solution of an educational task is ...
Added: December 10, 2020
Nesterenko A., Семенов А. М., Безопасность информационных технологий 2020 Т. 27 № 4 С. 7–16
The paper describes the key features of the cryptographic protocol providing secure interaction between control and measuring devices. The hierarchical structure underlying this protocol and the relationship between the transport and session levels of the ISO model, to which different stages of message processing are linked are described. The security of the protocol is based ...
Added: December 2, 2020
Ometov A., Bardinova Y., AFANASYEVA A. et al., IEEE Access 2020 Vol. 8 P. 103994–104015
The blockchain technology is currently penetrating different areas of the modern Information and Communications Technology community. Most of the devices involved in blockchain-related processes are specially designed targeting only the mining aspect, i.e., solving the computational puzzle task. At the same time, the use of wearable and mobile devices may also become a part of ...
Added: October 8, 2020
Nesterenko A., Семенов А. М., Journal of Computer Virology and Hacking Techniques 2020 Vol. 16 No. 4 P. 305–312
In 2018, the authors of this article developed a cryptographic mechanism, which was adopted in 2019 as a recommendations on standardization R 1323565.1.028-2019 “Cryptographic mechanisms for secure interaction of control and measuring Devices” by Technical Committee “Cryptographic Information Protection”. These recommendations contain a description of the family of cryptographic protocols designed to produce key information, ...
Added: August 4, 2020
Семенов А. М., Ноздрунов В., Информационная безопасность 2019 № 5 С. 38–40
Due to the large-scale development of modern information technologies, especially in such areas as the Internet of Things, the emergence of open standards allows for the creation of a flexible infrastructure and facilitates the market entry of products that meet modern requirements, accelerates the development and introduction of various technologies in many areas of daily ...
Added: December 10, 2019
Zakharov V., Abbas M. M., Automatic Control and Computer Sciences, USA 2019 Vol. 53 No. 7 P. 589–606
Mathematical models of distributed computations, based on the calculus of mobile processes (pi-calculus) are widely used for checking the information security properties of cryptographic protocols. Since pi-calculus is Turing-complete, this problem is undecidable in general case. Therefore, the study is carried out only for some special classes of pi-calculus processes with restricted computational capabilities, for ...
Added: October 17, 2019
Nesterenko A., Lebedev P., Семенов А. М., / Технический комитет по стандартизации "Криптографическая защита информации". Серия б/н "Криптографические исследования". 2019.
Документ содержит результаты анализа криптографических механизмов защищенного взаимодействия контрольных и измерительных устройств.
Постулируются модель нарушителя, в рамках которой проводится анализ, а также свойства безопасности, которые должны обеспечиваться рассматриваемыми механизмами защищенного взаимодействия. Приводятся результаты анализа выполнимости исследуемых свойств безопасности.
Рассматриваются построенные на различных принципах атаки, практически реализующие методы компрометации протоколов выработки общих ключей, а также реализованные методы защиты ...
Added: March 18, 2019
Grebnev S., Lazareva E. V., Lebedev P. et al., Прикладная дискретная математика. Приложение 2018 № 11 С. 62–65
We consider implementation of the TLS 1.3 protocol taking into account the experience of Russian researchers and developers, as well as national regulations. We subsequently propose a modification of the protocol which fixes several issues. The changes concern the way of interaction between parties in different modes of connection, cryptographic primitives and the key system of the ...
Added: December 12, 2018
Zakharov V., Аббас М. М., Моделирование и анализ информационных систем 2018 Т. 25 № 6 С. 589–606
Mathematical models of distributed computing based on the calculus of mobile processes ($\pi$-calculus) are widely used for checking the information security properties of cryptographic protocols. Since $\pi$calculus is Turing-complete, this problem is undecidable in general case. Therefore, the research is carried out only for some special classes of $\pi$-calculus processes with restricted computational capabilities, for ...
Added: October 26, 2018
Ometov A., Olshannikova E., Masek P. et al., IEEE Access 2016 No. 4 P. 7692–7702
Today, direct contacts between users are being facilitated by the network-assisted device-to-device (D2D) technology, which employs the omnipresent cellular infrastructure for the purposes of control to facilitate advanced mobile social applications. Together with its undisputed benefits, this novel type of connectivity creates new challenges in constructing meaningful proximity-based services with high levels of user adoption. ...
Added: March 13, 2018