Hyun Sook Rhee; Taek-Young Youn. A Formal Security Proof of Generic Construction of Anonymous IBE from PEKS. ReBICTE 2021, 7, 204-214.