Verifying correctness of inner product of vectors in cloud computing.

Gang Sheng, Tao Wen, Quan Guo, Ying Yin

Browse the full CCS paper archive.