INNOVATIVE VERIFICATION TECHNOLOGIES REINFORCE BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS