Fedotov Andrey Nikolayevich

Publications in Math-Net.Ru

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