Solovev Mikhail Aleksandrovich

Publications in Math-Net.Ru

1. Model and declarative specification language of binary data formats
   
   Proceedings of ISP RAS, 33:6 (2021),  27–50
2. Practical abstract interpretation of binary code
   
   Proceedings of ISP RAS, 32:6 (2020),  101–110
3. Decoding of machine instructions for abstract interpretation of binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  65–88
4. A software complex for revealing malicious behavior in untrusted binary code
   
   Proceedings of ISP RAS, 31:6 (2019),  33–64
5. Next generation intermediate representations for binary code analysis
   
   Proceedings of ISP RAS, 30:6 (2018),  39–68
6. Automated generation of machine instruction decoders
   
   Proceedings of ISP RAS, 30:2 (2018),  65–80
7. Parallelization of implementations of purely sequential algorithms
   
   Proceedings of ISP RAS, 30:2 (2018),  25–44