INNOVATIVE VERIFICATION METHODS STRENGTHEN BARRIERS TOWARDS AUTOMATED CYBER ASSAULTS