They list homomorphic encryption as the first fact, but has anyone created a truly complete HE implementation yet? My impression is that there are a lot of great theories and experiments in the field, but nobody has really created a practical standard for it. I'd love to be proven wrong though, it's a fascinating field.