John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman. Information-flow control for programming on encrypted data. IACR Cryptology ePrint Archive, 2012:205, 2012. [doi]
@article{MitchellSSZ12, title = {Information-flow control for programming on encrypted data}, author = {John C. Mitchell and Rahul Sharma 0001 and Deian Stefan and Joe Zimmerman}, year = {2012}, url = {http://eprint.iacr.org/2012/205}, note = {informal publication}, researchr = {https://researchr.org/publication/MitchellSSZ12}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2012}, pages = {205}, }