Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (2003)

by M Backes
Venue:In International Conference on Concurrency Theory (CONCUR), LNCS