On fairness in simolatability-based cryptographic systemsMichael BackesDennis Hofheinzet al.2005FMSE 2005