Maxim A. Parinov, Anna G. Sirotkina. Analysis of the Control Flow Graph to Detect Attacks at the Application by Verification Its System Calls. IJAST 2020, 29, 1165 - 1173.