A Domain-Specific Language for Computing on Encrypted Data (Invited Talk).

Alex Bain John C. Mitchell Rahul Sharma 0001 Deian Stefan Joe Zimmerman A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). 6-24 2011 FSTTCS http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.6 conf/fsttcs/2011 db/conf/fsttcs/fsttcs2011.html#BainMSSZ11