Using Mathematics to Make Computing on Encrypted Data Secure and Practical