Shudrak Maksim Olegovich

Publications in Math-Net.Ru

1. A Model, Algorithms and Software Tool for Vulnerabilities Detection in Machine Code
   
   Tr. SPIIRAN, 42 (2015),  212–231