CUTTING-EDGE VERIFICATION METHODS STRENGTHEN DEFENSES AGAINST AUTOMATED CYBER ASSAULTS