Ogawa, Mizuhito. “Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code”. Journal of Science and Technology on Information security 2, no. 25 (September 30, 2025): 5-20. Accessed October 9, 2025. https://isj.vn/index.php/journal_STIS/article/view/1093.