INNOVATIVE VERIFICATION METHODS STRENGTHEN BARRIERS TOWARDS AUTOMATED CYBER ATTACKS