Keji Hu, Wensheng Zhang: Efficient verification of data encryption on cloud servers. PST 2014: 314-321