Padaryan Vartan Andronikovich

Publications in Math-Net.Ru

1. About methods of extracting algorithms from binary code
   
   Proceedings of ISP RAS, 36:3 (2024),  139–160
2. Model and declarative specification language of binary data formats
   
   Proceedings of ISP RAS, 33:6 (2021),  27–50
3. Features of fuzzing network interfaces without source codes
   
   Proceedings of ISP RAS, 33:4 (2021),  211–226
4. Practical abstract interpretation of binary code
   
   Proceedings of ISP RAS, 32:6 (2020),  101–110
5. Decoding of machine instructions for abstract interpretation of binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  65–88
6. A software complex for revealing malicious behavior in untrusted binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  33–64
7. Automated testing of a TCG frontend for Qemu
   
   Proceedings of ISP RAS, 31:5 (2019),  7–24
8. Next generation intermediate representations for binary code analysis
   
   Proceedings of ISP RAS, 30:6 (2018),  39–68
9. Automation of device and machine development for QEMU
   
   Proceedings of ISP RAS, 29:6 (2017),  77–104
10. On representation used in the binary code reverse engineering
    
    Proceedings of ISP RAS, 29:3 (2017),  31–42
11. Of presenting the results of network traffic analysis
    
    Proceedings of ISP RAS, 28:6 (2016),  103–110
12. On some limitations of information flow tracking in full-system emulators
    
    Proceedings of ISP RAS, 28:6 (2016),  11–26
13. Software defect severity estimation in presence of modern defense mechanisms
    
    Proceedings of ISP RAS, 28:5 (2016),  73–92
14. Search method for format string vulnerabilities
    
    Proceedings of ISP RAS, 27:4 (2015),  23–38
15. Model of data handling for in-depth analysis of network traffic
    
    Proceedings of ISP RAS, 27:4 (2015),  5–22
16. Memory violation detection method in binary code
    
    Proceedings of ISP RAS, 27:2 (2015),  105–126
17. Deterministic replay specifics in case of minimal device set
    
    Proceedings of ISP RAS, 27:2 (2015),  65–92
18. Productivity prediction of MPI programs based on models
    
    Avtomat. i Telemekh., 2007, no. 5,  8–17
19. Data parallel programming in the ParJava system
    
    Num. Meth. Prog., 2:2 (2001),  70–87