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. Programming and Computer Software, 45(7):424-437, 2019. [doi]
Abstract is missing.