Hyun Sook Rhee, and Taek-Young Youn. “A Formal Security Proof of Generic Construction of Anonymous IBE from PEKS”. Research Briefs on Information and Communication Technology Evolution, vol. 7, Dec. 2021, pp. 204-1, doi:10.56801/rebicte.v7i.130.