Manushin Dmitrii Valerevich

Publications in Math-Net.Ru

1. Practical abstract interpretation of binary code
   
   Proceedings of ISP RAS, 32:6 (2020),  101–110
2. Decoding of machine instructions for abstract interpretation of binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  65–88
3. Next generation intermediate representations for binary code analysis
   
   Proceedings of ISP RAS, 30:6 (2018),  39–68