INNOVATIVE VERIFICATION TECHNOLOGIES REINFORCE BARRIERS AGAINST AUTOMATED CYBER ATTACKS