?
A Survey of Software Dynamic Analysis Methods
Programming and Computer Software. 2024. Vol. 50. P. 90–114.
In press
Krokhin A., Гусев М. М., Программные системы и вычислительные методы 2025 № 2
The article addresses the issue of prompt obfuscation as a means of circumventing protective mechanisms in large language models (LLMs) designed to detect prompt injections. Prompt injections represent a method of attack in which malicious actors manipulate input data to alter the model's behavior and cause it to perform undesirable or harmful actions. Obfuscation involves ...
Added: October 4, 2025
Beliaev Mikhail, Petrov M., Gagarski K. et al., Automatic Control and Computer Sciences 2015 Vol. 7 No. 49 P. 466–472
Added: July 3, 2019
Asryan S. A., Gaysaryan S. S., Kurmangaleev S. F. et al., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 7–20
The article describes new method of use after free bug detection using program dynamic analysis. In memory-unsafe programming languages such as C/C++ this class of bugs mainly accurse when program tries to access specific area of dynamically allocated memory that has been already freed. This method is based on combination of two basic components. The ...
Added: August 10, 2018
Zakharov V., Подымов В. В., Алтухов В. С. et al., , in: Proceedings of 2014 International Science and Technology Conference "Modern Networking Technologies (MoNeTec): SDN&NFV Next Generation of Computational Infrastructure", Moscow, Russia, October 27-29, 2014.: M.: Max press, 2014. P. 7–12.
In this paper we present a VERifying MONiTor (VERMONT) which is a software toolset for checking the consistency of network configurations with formally specified invariants of Packet Forwarding Policies (PFP). Correct and safe management of networks is a very hard task. Every time the current load of flow tables should satisfy certain requirements. Some packets ...
Added: October 13, 2015