1. Using static symbolic execution to detect buffer overflows

   • I. A. Dudina
   • A. A. Belevantsev

   OriginalPaper 14 September 2017 Pages: 277 - 288

2. Investigation of the restricted problem of three bodies of variable masses using computer algebra

   • A. N. Prokopenya
   • M. Zh. Minglibayev
   • Zh. U. Imanova

   OriginalPaper 14 September 2017 Pages: 289 - 293

3. Incompletely described objects in decision support

   • V. N. Yudin
   • L. E. Karpov

   OriginalPaper 14 September 2017 Pages: 294 - 299

4. Local search gradient algorithm based on functional voxel modeling

   • S. N. Grigor’ev
   • A. V. Tolok
   • N. B. Tolok

   OriginalPaper 14 September 2017 Pages: 300 - 306

5. A lightweight method for virtual machine introspection

   • N. I. Fursova
   • P. M. Dovgalyuk
   • V. A. Makarov

   OriginalPaper 14 September 2017 Pages: 307 - 313

6. Formal logical language to set requirements for secure code execution

   • A. V. Kozachok

   OriginalPaper 14 September 2017 Pages: 314 - 319