INNOVATIVE VERIFICATION METHODS REINFORCE BARRIERS AGAINST AUTOMATED CYBER ATTACKS