INNOVATIVE VERIFICATION METHODS REINFORCE DEFENSES AGAINST AUTOMATED CYBER ASSAULTS