Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs.

Jonathan Katz, Yehuda Lindell

Browse the full TCC paper archive.