Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs. Posted June 18, 2016 by Alon