Hyun Sook Rhee and Taek-Young Youn 2021. A formal security proof of generic construction of anonymous IBE from PEKS. Research Briefs on Information and Communication Technology Evolution . 7, (Dec. 2021), 204–214. DOI:https://doi.org/10.56801/rebicte.v7i.130.