Hyun Sook Rhee and Taek-Young Youn, “A formal security proof of generic construction of anonymous IBE from PEKS”, ReBICTE, vol. 7, pp. 204–214, Dec. 2021.