@inproceedings{backes07key,
  author       = {Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre},
  title        = {Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  booktitle    = {Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)},
  month        = {June},
  year         = {2007},
  note         = {Preprint on IACR ePrint 2005/421}
}