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}, }