Attribute-based multi-function verifiable computation

In this work, we introduce and formalize the notion of attribute-based multi-function verifiable computation (AM-VC). It provides fine-grained access control to the computation results. Specifically, it labels the encoded functions and inputs with policies, as well as associates the secret key of each receiver with attributes. In this way, only the receiver whose attributes satisfy both a function's policy and an input's policy can verify and retrieve the corresponding computation result. In addition, executing multiple functions on one encoded input and executing one function on multiple encoded inputs are allowed. We also formally model the security properties of an AM-VC scheme and propose a secure construction.