Kaushan Vadim Vladimirovich

Publications in Math-Net.Ru

1. Building security predicates for some types of vulnerabilities
   
   Proceedings of ISP RAS, 29:6 (2017),  151–162
2. Buffer overrun detection method in binary code
   
   Proceedings of ISP RAS, 28:5 (2016),  135–144
3. Software defect severity estimation in presence of modern defense mechanisms
   
   Proceedings of ISP RAS, 28:5 (2016),  73–92
4. Search method for format string vulnerabilities
   
   Proceedings of ISP RAS, 27:4 (2015),  23–38
5. Memory violation detection method in binary code
   
   Proceedings of ISP RAS, 27:2 (2015),  105–126