%0 Journal Article %B International Journal of Information Security %D 2016 %P 519-537 %R 10.1007/s10207-015-0308-7 %T Efficient and verifiable algorithms for secure outsourcing of cryptographic computations %V 15 %8 Oct