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. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. pages 112-124, IEEE Computer Society, 2007. [doi]

Authors

Michael Backes

This author has not been identified. Look up 'Michael Backes' in Google

Birgit Pfitzmann

This author has not been identified. Look up 'Birgit Pfitzmann' in Google

Andre Scedrov

This author has not been identified. Look up 'Andre Scedrov' in Google