CUTTING-EDGE VERIFICATION METHODS REINFORCE BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS