|
|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
| 1. |
A. A. Evgin, M. A. Solovev, V. A. Padaryan, “Model and declarative specification language of binary data formats”, Proceedings of ISP RAS, 33:6 (2021), 27–50  |
|
2020 |
| 2. |
M. A. Solovev, M. G. Bakulin, S. S. Makarov, D. V. Manushin, V. A. Padaryan, “Practical abstract interpretation of binary code”, Proceedings of ISP RAS, 32:6 (2020), 101–110 |
1
|
|
2019 |
| 3. |
M. A. Solovev, M. G. Bakulin, S. S. Makarov, D. V. Manushin, V. A. Padaryan, “Decoding of machine instructions for abstract interpretation of binary code”, Proceedings of ISP RAS, 31:6 (2019), 65–88 |
1
|
| 4. |
A. B. Bugerya, V. Yu. Efimov, I. I. Kulagin, V. A. Padaryan, M. A. Solovev, A. Yu. Tikhonov, “A software complex for revealing malicious behavior in untrusted binary code”, Proceedings of ISP RAS, 31:6 (2019), 33–64 |
2
|
|
2018 |
| 5. |
M. A. Solovev, M. G. Bakulin, M. S. Gorbachev, D. V. Manushin, V. A. Padaryan, S. S. Panasenko, “Next generation intermediate representations for binary code analysis”, Proceedings of ISP RAS, 30:6 (2018), 39–68  |
5
|
| 6. |
N. Yu. Fokina, M. A. Solovev, “Automated generation of machine instruction decoders”, Proceedings of ISP RAS, 30:2 (2018), 65–80 |
| 7. |
A. B. Bugerya, E. S. Kim, M. A. Solovev, “Parallelization of implementations of purely sequential algorithms”, Proceedings of ISP RAS, 30:2 (2018), 25–44 |
|
| Organisations |
|
| |
|
|
Contact us: