标签: adversarial verification