Search
Now showing items 1-1 of 1
A Domain Specific Language for Secure Outsourcing of Computation to the Cloud
(
Institute of Electrical and Electronics Engineers Inc.
, 2015 , Conference Paper)
Secure outsourcing of computation has gained importance with the proliferation of cloud services. However, existing outsourcing protocol specification languages are mainly suitable for secure multi-party computation. They ...