INNOVATIVE VERIFICATION METHODS STRENGTHEN DEFENSES AGAINST AUTOMATED CYBER ATTACKS