Bakulin Maxim Gennad'evich

Publications in Math-Net.Ru

1. Natch: using virtual machine introspection and taint analysis for detection attack surface of the software
   
   Proceedings of ISP RAS, 34:5 (2022),  89–110
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. Next generation intermediate representations for binary code analysis
   
   Proceedings of ISP RAS, 30:6 (2018),  39–68
5. On some limitations of information flow tracking in full-system emulators
   
   Proceedings of ISP RAS, 28:6 (2016),  11–26