M. A. Solov'ev

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Intermediate Representations

Probabilistic Model

Top Venues

Program. Comput. Softw.

Publications

M. A. Solov'ev, M. G. Bakulin, M. S. Gorbachev, D. V. Manushin, Vartan A. Padaryan, S. S. Panasenko
Next-Generation Intermediate Representations for Binary Code Analysis. Program. Comput. Softw. 45 (7) (2019)
Vartan A. Padaryan, A. I. Getman, M. A. Solov'ev, M. G. Bakulin, A. I. Borzilov, V. V. Kaushan, I. N. Ledovskikh, Yu. V. Markin, S. S. Panasenko
Methods and software tools to support combined binary code analysis. Program. Comput. Softw. 40 (5) (2014)
Vartan A. Padaryan, M. A. Solov'ev, A. I. Kononov
Simulation of operational semantics of machine instructions. Program. Comput. Softw. 37 (3) (2011)