Encoder as a service is an emerging cloud service. Specifically, a service provider first pre-trains an encoder (i.e., a general-purpose feature extractor) via either supervised learning or self-supervised learning and then deploys it as a cloud service API. A client queries the cloud service API to obtain feature vectors for its training/testing inputs when training/testing its classifier (called downstream classifier). A downstream classifier is vulnerable to adversarial examples, which are testing inputs with carefully crafted perturbation that the downstream classifier misclassifies. Therefore, in safety and security critical applications, a client aims to build a robust downstream classifier and certify its robustness guarantees against adversarial examples. What APIs should the cloud service provide, such that a client can use any certification method to certify the robustness of its downstream classifier against adversarial examples while minimizing the number of queries to the APIs? How can a service provider pre-train an encoder such that clients can build more certifiably robust downstream classifiers? We aim to answer the two questions in this work. For the first question, we show that the cloud service only needs to provide two APIs, which we carefully design, to enable a client to certify the robustness of its downstream classifier with a minimal number of queries to the APIs. For the second question, we show that an encoder pre-trained using a spectral-norm regularization term enables clients to build more robust downstream classifiers.
翻译:编码服务是一种新兴的云层服务。 具体地说, 服务供应商首先通过监督学习或自我监督学习,然后将其作为云服务 API 。 客户询问云服务 API 在培训/ 测试其分类员( 所谓的下游分类员) 时, 获取培训/ 测试投入的特性矢量。 下游分类员容易受到对抗性实例的伤害, 这些实例是仔细设计的下游分类员分类错误的快速分解测试投入。 因此, 在安全和安保关键应用程序中, 客户打算建立一个强大的下游分类员, 并验证其稳健性, 以抵御对抗性实例。 客户询问下游分类员的特性, 以任何认证方法来证明下游分类员的稳健性, 同时尽量减少对API的查询次数; 服务供应商如何在进行第二次前的测试, 以便客户能够建立更稳健的下游分类员。 我们的目标是在安全、 下游分类中要回答两个问题, 以稳健的版本来证明客户需要。