Real life systems that use concepts of crypto computing
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.