Next-Generation Intermediate Representations for Binary Code Analysis. - M. A. Solov'ev; M. G. Bakulin; M. S. Gorbachev; D. V. Manushin; Vartan A. Padaryan; S. S. Panasenko (Program. Comput. Softw., 2019)