Formal Proofs for the Security of Signcryption

This publication has 21 references indexed in Scilit:

• The Order of Encryption and Authentication for Protecting Communications (or: How Secure Is SSL?)
  Published by Springer Nature ,2001
• Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm
  Published by Springer Nature ,2000
• How to Enhance the Security of Public-Key Encryption at Minimum Cost
  Published by Springer Nature ,1999
• A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack
  Published by Springer Nature ,1998
• Relations among notions of security for public-key encryption schemes
  Published by Springer Nature ,1998
• On concrete security treatment of signatures derived from identification
  Published by Springer Nature ,1998
• Random oracles are practical
  Published by Association for Computing Machinery (ACM) ,1993
• A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
  SIAM Journal on Computing, 1988
• A public key cryptosystem and a signature scheme based on discrete logarithms
  IEEE Transactions on Information Theory, 1985
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984