Unifying simulatability definitions in cryptographic systems under different timing assumptionsMichael Backes2005Journal of Logic and Algebraic Programming