CUTTING-EDGE VERIFICATION METHODS REINFORCE DEFENSES TOWARDS AUTOMATED CYBER ASSAULTS