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 February 11, 2026. https://isj.vn/index.php/journal_STIS/article/view/1093.