Almost tightly-secure re-randomizable and replayable CCA-secure public key encryption