Information-Flow Control for Programming on Encrypted Data

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. The authors present an expressive core language for secure cloud computing, with primitive types, conditionals, standard functional features, mutable state, and a secrecy preserving form of general recursion.

Provided by: Institute of Electrical & Electronic Engineers Topic: Security Date Added: Apr 2012 Format: PDF

Download Now

Find By Topic