Plaintext Awareness via Key Registration

This publication has 18 references indexed in Scilit:

• Athena: a new efficient automatic checker for security protocol analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen Ciphertext Attack
  Published by Springer Nature ,2001
• Short Non-Interactive Cryptographic Proofs
  Journal of Cryptology, 2000
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack
  Published by Springer Nature ,1998
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• Optimal asymmetric encryption
  Published by Springer Nature ,1995
• Noninteractive Zero-Knowledge
  SIAM Journal on Computing, 1991
• Non-Interactive Zero-Knowledge Proof Systems
  Published by Springer Nature ,1988
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983