Application of Taint Analysis to Study the Safety of Software of the Internet of Things Devices Based on the ARM Architecture. - T. D. Ovasapyan; P. V. Knyazev; Dmitry A. Moskvin (Autom. Control. Comput. Sci., 2020)

Automated Search for Vulnerabilities in ARM Software Using Dynamic Symbolic Execution. - T. D. Ovasapyan; P. V. Knyazev; Dmitry A. Moskvin (Autom. Control. Comput. Sci., 2021)