CSR: Small: Collaborative Research: Engineering Secure Data Computation Outsourcing in Cloud Computing

在这个项目中，pi研究云计算中的安全计算外包，重点是广泛应用的工程计算和优化问题。他们的方法是显式地将计算分解为公共程序和私有数据，并利用特定计算的结构在安全性、效率和实用性之间实现理想的权衡。pi建议将这些机制组织成一个层次结构，其中计算可以在不同的抽象层次上表示，然后探索由以下三种方法组成的系统方法：(1)对数据进行加密的问题转换，使计算可以在相同的抽象级别上执行；(2)利用在较低抽象级别定义的机制作为安全计算外包的子例程的过程转换；(3)通过保持有利的问题结构进一步提高机制实际效率的结构保留转换。pi期望这项研究的结果被应用程序开发人员所采用，他们将构建应用程序来支持安全计算外包，这些应用程序要么是为同一组织内的最终用户私有的，要么是为类似于软件即服务（SaaS）实践的公共最终用户。

In this project, the PIs study secure computation outsourcing in cloud computing with the focus on widely applicable engineering computing and optimization problems. Their methodology is to explicitly decompose computations into public programs and private data and leverage the structures of specific computations for achieving desirable trade-offs among security, efficiency, and practicality. The PIs propose to organize the mechanisms into a hierarchy where computation can be represented at various abstraction levels, and then explore a systematic methodology consisting of the following three methods: (1) problem transformations that encrypt the data such that the computation can be performed on the same abstraction level, (2) procedure transformations that leverage the mechanisms defined at a lower abstraction level as a subroutine for secure computation outsourcing, and (3) structural-preserving transformations that further improve the practical efficiency of mechanisms by maintaining favorable problem structures. The PIs expect the outcomes of this research to be adopted by application developers, who will build applications to support secure computation outsourcing either privately for end-users within the same organization, or for public end-users resembling the practices of software-as-a-service (SaaS).