Research Article

Provably Secure Lattice-Based Self-Certified Signature Scheme

Algorithm 4

Verify.
ā€‰Input: and , the message , the signature .
ā€‰Output: the verification result.
(1)Compute .
(2)Check whether and .
(3)If so, return accept. Otherwise, return reject.