INNOVATIVE VERIFICATION METHODS STRENGTHEN DEFENSES TOWARDS AUTOMATED CYBER ATTACKS