Securely Outsourcing Attribute-Based Encryption with Checkability
Non-interactive verifiable computing: Outsourcing computation to untrusted workers