Encryption-Scheme Security in the Presence of Key-Dependent Messages

This publication has 12 references indexed in Scilit:

• A concrete security treatment of symmetric encryption
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Cryptographic Security of Reactive Systems: (Extended Abstract)
  Electronic Notes in Theoretical Computer Science, 2000
• Composition and integrity preservation of secure reactive systems
  Published by Association for Computing Machinery (ACM) ,2000
• Reconciling Two Views of Cryptography
  Published by Springer Nature ,2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• Random oracles are practical
  Published by Association for Computing Machinery (ACM) ,1993
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983