INNOVATIVE VERIFICATION TECHNOLOGIES STRENGTHEN DEFENSES TOWARDS AUTOMATED CYBER ATTACKS