Correctness Verification of Outsourced Inner Product of Vectors with Error Localization | IEEE Conference Publication | IEEE Xplore