A domain-specific language for computing on encrypted data (2011)

by Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
Venue:In FSTTCS 2011. LIPIcs