Decode-and-Compare: An Efficient Verification Scheme for Coded Edge Computing | IEEE Conference Publication | IEEE Xplore