A Note on "Efficient Algorithms for Secure Outsourcing of Bilinear Pairings"
This work addresses security vulnerabilities in cryptographic outsourcing for bilinear pairings, which is incremental as it builds on and critiques prior research.
The paper identifies a security flaw in an existing bilinear pairing outsourcing scheme where verifying equations fail to detect certain malformed values from malicious servers, and critiques the scheme's use of an artificial two untrusted programs model while discussing more realistic outsourcing scenarios.
We show that the verifying equations in the scheme [Theoretical Computer Science, 562 (2015), 112-121] cannot filter out some malformed values returned by the malicious servers. We also remark that the two untrusted programs model adopted in the scheme is somewhat artificial, and discuss some reasonable scenarios for outsourcing computations.