Cryptology ePrint Archive: Report 2012/205
Available versions in chronological order
20120415:220953 (posted 15-Apr-2012 22:09:53 UTC)
Information-flow control for programming on encrypted data
J.C. Mitchell, R. Sharma, D. Stefan and J. Zimmerman
[
Cryptology ePrint archive
]