Information-flow control for programming on encrypted data presented at 25th IEEE Computer Security Foundations Symposium 2012

by John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman,

Summary : N/A