CUTTING-EDGE VERIFICATION TECHNOLOGIES REINFORCE BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS