On the Correctness of a Two-Round Multi-Keyword Top-k Ciphertext Retrieval | IEEE Conference Publication | IEEE Xplore