Abstract
Privacy-preserving verifiable (outsourced) computation (PPVC) is a useful technique for a resource-constrained client to outsource computationally heavy but sensitive tasks to a computationally powerful but untrusted worker and to obtain expected correct results from the worker. In this paper, we analyze the privacy property of three matrix masking-based PPVC protocols, which have recently been published in IEEE Transactions on Cloud Computing <xref ref-type="bibr" rid="ref2">[2] , <xref ref-type="bibr" rid="ref3">[3] . To do this, we present a formal definition of a privacy model for a PPVC protocol (see Definition <xref ref-type="definition" rid="definition1">1 ), and then prove that neither of those three PPVC protocols holds privacy under this model. We also review the comments by Cao et al. <xref ref-type="bibr" rid="ref1">[1] on two of the three protocols and show an issue in their comments.