Mihir Bellare Thomas Ristenpart Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme. 84 2009 2009 IACR Cryptology ePrint Archive http://eprint.iacr.org/2009/084 db/journals/iacr/iacr2009.html#BellareR09