PLAINTEXT-VERIFIABLY-CHECKABLE ENCRYPTION AND ITS EXTENSION IN DUAL-SERVER SETTING