"Information-flow control for programming on encrypted data."

John C. Mitchell et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics