Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions.

Michael Backes

Browse the full CONCUR paper archive.