Makarov Sergei Sergeevich

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