Return to Article Details A formal security proof of generic construction of anonymous IBE from PEKS Download Download PDF