Programming Computation on Encrypted Data

Overview
DARPA's Programming Computation on Encrypted Data (PROCEED) program is a research effort that seeks to develop methods that allow computing with encrypted data without first decrypting it, making it more difficult for malware programmers to write viruses.

The PROCEED program seeks to make computation on encrypted data practical. If successful, PROCEED could fundamentally change how computations are made in untrusted environments. Potential implications for the security of cloud-computing architectures are significant.