CUTTING-EDGE VERIFICATION METHODS REINFORCE BARRIERS AGAINST AUTOMATED CYBER ATTACKS