Using static symbolic execution to detect buffer overflows I. A. DudinaA. A. Belevantsev OriginalPaper 14 September 2017 Pages: 277 - 288
Investigation of the restricted problem of three bodies of variable masses using computer algebra A. N. ProkopenyaM. Zh. MinglibayevZh. U. Imanova OriginalPaper 14 September 2017 Pages: 289 - 293
Incompletely described objects in decision support V. N. YudinL. E. Karpov OriginalPaper 14 September 2017 Pages: 294 - 299
Local search gradient algorithm based on functional voxel modeling S. N. Grigor’evA. V. TolokN. B. Tolok OriginalPaper 14 September 2017 Pages: 300 - 306
A lightweight method for virtual machine introspection N. I. FursovaP. M. DovgalyukV. A. Makarov OriginalPaper 14 September 2017 Pages: 307 - 313
Formal logical language to set requirements for secure code execution A. V. Kozachok OriginalPaper 14 September 2017 Pages: 314 - 319