A.: Key-dependent message security under active attacks - BRSIM/UC-soundness of symbolic encryption with key cycles (0)

by M Backes, B Pfitzmann, Scedrov
Venue:In: Proceedings of 20th IEEE Computer Security Foundation Symposium (CSF)(2007