CUTTING-EDGE VERIFICATION METHODS REINFORCE BARRIERS TOWARDS AUTOMATED CYBER ATTACKS