Vol 13, No 9 (2025)

Table of Contents

Theoretical and applied aspects of cybersecurity

Investigating the Vulnerability of LLM-as-a-Judge Architectures to Prompt-Injection Attacks
Narek Maloyan, Bislan Ashinov, Dmitry Namiot
PDF
1-6
Pipelining of modular multiplication operations for efficient trust computation in decentralized cyber-physical environments
Vyacheslav Petrenko, Matvey Sutormin
PDF
7-12
On the Cybersecurity of AI Agents
Dmitry Namiot, Eugene Ilyushin
PDF (Russian)
13-24
Review of Anomaly Detection Methods During System Call Auditing in OS
N.E. Stelmach, A.V. Kozachok
PDF (Russian)
25-33
Artificial Intelligence in Cybersecurity. Chronicle. Issue 1
Dmitry Namiot
PDF (Russian)
34-42
A Systematic Approach to User File Security: From Primary Validation to Isolation in Docker
Oleg Ekhlakov
PDF (Russian)
43-49
Machine Learning Models Explanations and Adversarial Attacks
Maxim Egorov, Igor Zianchurin, Ilya Kuzmenko, Danil Tarasov, Dmitry Namiot
PDF (Russian)
50-59

Mathematical modeling of processes and systems

Convergence of the ARMA-GARCH Implied Calibration Algorithm
Petr Arbuzov
PDF
60-65
Development of mathematical and software solutions for image comparison
E.N. Antonyants, D.A. Matveev, M.A. Kireenko, A.A. Aletdinova
PDF (Russian)
66-74
Evaluation of density properties of geological system compacted by hydraulic blasting using numerical modeling
Elena О. Tarasenko
PDF (Russian)
75-81
Spatial distributed Lanchester model considering nonlinear dynamics
Nikita D. Borisov, Vladimir V. Nefedov
PDF (Russian)
82-90
On methods for solving pickup and delivery problem with time windows. Part II: heuristic approach
Nikita Tsarkov, Dmitry Golembiovsky
PDF (Russian)
91-102

Scientific Software in Education and Science

Architecture of a Trusted Artificial Intelligence System for Time Series Forecasting in Power Industry
Pavel Matrenin
PDF (Russian)
103-110
Automation of processing the results of Laboratory studies of frozen and thawed soils soil research
Arseniy Gavrilchuk, Oksana Tyulkova
PDF
111-115
Introduction to Formal Methods Using Interactive Proof Assistant Rocq
Evgeny Makarov
PDF
116-122

Telecommunication technologies and computer networks

Designing a Multi-Factor Quality Evaluation Protocol for Speaker Verification Systems
Ali Aliyev
PDF
123-128

Theoretical Informatics and Computer Science

Accelerating Latency-Critical Applications with AI-Powered Semi-Automatic Fine-Grained Parallelization on SMT Processors
Denis Los, Igor Petushkov
PDF
129-134

Big data and their applications

Probabilistic methods of linear algebra and Big Data
Vladimir Agishev, Galina Goremykina
PDF (Russian)
135-140