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. 112-124 2007 CSF http://dx.doi.org/10.1109/CSF.2007.23 conf/csfw/2007 db/conf/csfw/csf2007.html#BackesPS07