INNOVATIVE VERIFICATION TECHNOLOGIES STRENGTHEN DEFENSES TOWARDS AUTOMATED CYBER ASSAULTS