1. On Detecting Code Reuse Attacks

   • Y. V. Kosolapov

   OriginalPaper 08 February 2021 Pages: 573 - 583

   

2. A Key Distribution System Based on Hadamard Designs

   • V. M. Deundyak
   • A. A. Taran

   OriginalPaper 08 February 2021 Pages: 584 - 593

3. Using Useful Tasks for Proof-of-Work for Blockchain Systems

   • D. M. Murin
   • V. N. Knyazev

   OriginalPaper 08 February 2021 Pages: 594 - 600

   

4. Linear Interpolation on a Euclidean Ball in ℝⁿ

   • M. V. Nevskii
   • A. Yu. Ukhalov

   OriginalPaper 08 February 2021 Pages: 601 - 614

   

5. eT-Reducibility of Sets

   • R. R. Iarullin

   OriginalPaper 08 February 2021 Pages: 615 - 618

6. On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations

   • P. D. Borisov
   • Yu. V. Kosolapov

   OriginalPaper 08 February 2021 Pages: 619 - 629

   

7. Formal Verification of Three-Valued Digital Waveforms

   • N. Yu. Kutsak
   • V. V. Podymov

   OriginalPaper 08 February 2021 Pages: 630 - 644

   

8. Dynamic Model of Growing File-Sharing P2P Network

   • A. I. Kononova
   • L. G. Gagarina

   OriginalPaper 08 February 2021 Pages: 645 - 651

   

9. GRID System Based on European EGI Standards for Large-Scale Calculations by the Original Accelerated Method of Quantum Chemistry

   • N. A. Anikin
   • A. Y. Muskatin
   • A. I. Rusakov

   OriginalPaper 08 February 2021 Pages: 652 - 654

10. A New Approach to Gene Network Modeling

    • S. D. Glyzin
    • A. Yu. Kolesov
    • N. Kh. Rozov

    OriginalPaper 08 February 2021 Pages: 655 - 684

    

11. NP-Completeness and One Polynomial Subclass of the Two-Step Graph Colouring Problem

    • N. S. Medvedeva
    • A. V. Smirnov

    OriginalPaper 08 February 2021 Pages: 685 - 696

    

12. Automated Rhythmic Device Search in Literary Texts Applied to Comparing Original and Translated Texts as Exemplified by English to Russian Translations

    • N. S. Lagutina
    • K. V. Lagutina
    • I. V. Paramonov

    OriginalPaper 08 February 2021 Pages: 697 - 711

    

13. Geometric Estimates in Interpolation on an n-Dimensional Ball

    • M. V. Nevskii

    OriginalPaper 08 February 2021 Pages: 712 - 718

14. Operational Semantics of Annotated Reflex Programs

    • I. S. Anureev

    OriginalPaper 08 February 2021 Pages: 719 - 727

15. The Complex Approach of the C-lightVer System to the Automated Error Localization in C-Programs

    • D. A. Kondratyev
    • A. V. Promsky

    OriginalPaper 08 February 2021 Pages: 728 - 739

16. Methods for Domain Specialization of Verification-Oriented Process Ontologies

    • N. O. Garanina
    • I. S. Anureev
    • V. E. Zyubin

    OriginalPaper 08 February 2021 Pages: 740 - 751

    

17. Analysis of Occurrence Conditions for Spatially Inhomogeneous Structures of Light Waves in Optical Information Transmission Systems

    • E. P. Kubyshkin
    • V. A. Kulikov

    OriginalPaper 08 February 2021 Pages: 752 - 757

    

18. The Comparison of Diffeomorphic Images based on the Construction of Persistent Homology

    • S. N. Chukanov

    OriginalPaper 08 February 2021 Pages: 758 - 771