Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles | IEEE Conference Publication | IEEE Xplore