Information-Flow Control for Programming on Encrypted Data

@article{Mitchell2012InformationFlowCF,
  title={Information-Flow Control for Programming on Encrypted Data},
  author={John C. Mitchell and Rahul Sharma and Deian Stefan and Joe Zimmerman},
  journal={2012 IEEE 25th Computer Security Foundations Symposium},
  year={2012},
  pages={45-60}
}
Using homomorphic encryption and secure multiparty computation, cloud servers may perform regularly structured computation on encrypted data, without access to decryption keys. However, prior approaches for programming on encrypted data involve restrictive models such as boolean circuits, or standard languages that do not guarantee secure execution of all expressible programs. We present an expressive core language for secure cloud computing, with primitive types, conditionals, standard… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS