Fedotov Andrey Nikolayevich

Publications in Math-Net.Ru

1. Sydr-Fuzz: continuous hybrid fuzzing and dynamic analysis for security development lifecycle
   
   Proceedings of ISP RAS, 37:4(2) (2025),  251–270
2. Python fuzzing for trustworthy machine learning frameworks
   
   Zap. Nauchn. Sem. POMI, 530 (2023),  38–50
3. Trusted artificial intelligence: challenges and promising solutions
   
   Dokl. RAN. Math. Inf. Proc. Upr., 508 (2022),  13–18
4. Error detection in binary code with dynamic symbolic execution
   
   Proceedings of ISP RAS, 34:2 (2022),  25–42
5. CASR: core dump analysis and severity reporter tool
   
   Proceedings of ISP RAS, 32:4 (2020),  89–96
6. Building security predicates for some types of vulnerabilities
   
   Proceedings of ISP RAS, 29:6 (2017),  151–162
7. Software defect severity estimation in presence of modern defense mechanisms
   
   Proceedings of ISP RAS, 28:5 (2016),  73–92
8. Method for exploitability estimation of program bugs
   
   Proceedings of ISP RAS, 28:4 (2016),  137–148
9. Search method for format string vulnerabilities
   
   Proceedings of ISP RAS, 27:4 (2015),  23–38
10. Memory violation detection method in binary code
    
    Proceedings of ISP RAS, 27:2 (2015),  105–126