INNOVATIVE VERIFICATION TECHNOLOGIES REINFORCE DEFENSES TOWARDS AUTOMATED CYBER ASSAULTS