?
Improving Accuracy and Completeness of Source Code Static Taint Analysis
Ivannikov ISPRAS Open Conference (ISPRAS). 2021. P. 61–68.
Mytenkov S., Докучаев В. А., Рахмани Д. Д. et al., Экономика и качество систем связи 2025 № 2 С. 135–148
Traditional password authentication systems continue to be used in enterprise distributed systems and critical infrastructures despite their vulnerabilities and growing risks. This paper provides a detailed analysis of password-related threats, including the psychological aspects of their use, technical shortcomings, institutional gaps, and non-compliance with regulatory requirements. Examples of real-world attacks, such as phishing campaigns and ...
Added: October 27, 2025
Смирнов И. А., В кн.: Сборник научных трудов по материалам XX Международной научно-практической конференции «УСТОЙЧИВОЕ РАЗВИТИЕ ОБЩЕСТВА: НОВЫЕ НАУЧНЫЕ ПОДХОДЫ И ИССЛЕДОВАНИЯ» (шифр – МУРО) от 08.07.2025.: М.: [б.и.], 2025. С. 105–113.
The study is devoted to assessing the effectiveness of measures to reduce cyber risks in 5G networks. The key vulnerabilities and threats arising from the development of artificial intelligence technologies, big data analysis, the Internet of Things and robotics are considered. The architecture of 5G networks is analyzed, the main cybersecurity threats are identified and ...
Added: September 7, 2025
Afanasyev V., Поляков С. А., Бородин А. Е. et al., Труды Института системного программирования РАН 2021 Т. 33 № 6 С. 67–82
The paper describes a static analysis for finding defects and computing metrics for programs written in the Kotlin language. The analysis is implemented in the Svace static analyzer developed at ISP RAS. The paper focuses on the problems we met during implementation, the approaches we used to solve them, and the experimental results for the ...
Added: September 7, 2022
Avetisyan A., Ivannikov V., Belevantsev A. A. et al., Programming and Computer Software 2014 Vol. 40 No. 5 P. 265–275
This paper describes Svace, a tool for static program analysis developed at the Institute for Systems Programming, Russian Academy of Sciences. This tool allows one to find defects and potential vulnerabilities in the source program code written in C/C++ languages. The main features of the tool are simplicity of use, wide variety of supported types ...
Added: March 22, 2017