Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles

Michael Backes, Birgit Pfitzmann, Andre Scedrov. Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. IACR Cryptology ePrint Archive, 2005:421, 2005. [doi]

@article{BackesPS05,
  title = {Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  author = {Michael Backes and Birgit Pfitzmann and Andre Scedrov},
  year = {2005},
  url = {http://eprint.iacr.org/2005/421},
  researchr = {https://researchr.org/publication/BackesPS05},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2005},
  pages = {421},
}