Real life systems that use concepts of crypto computing Are there any working cloud/internet solutions/products that operates on encrypted data such as systems using homomorphic encryption, secure multiparty computation, electronic voting, private information retrieval?
IACR uses electronic, encrypted voting for their elections every year. They use Helios
Sharemind has been used in a few applications (financial data analysis, social study)
CipherCloud claims to do a number of things on encrypted data. There was some discussion of their work on here that was partially removed due to a DMCA request.
Skyhigh Networks does functionality-preserving encryption of cloud apps
CryptDB aims to build encrypted databases.
Dyadic uses multiparty computation to protect cryptographic keys that would otherwise be compromised by a break of a single server.
ShareMonad has been used to prototype MPC voice accumulation, regular expressions, SHA, AES, and SAT.