Soundness of Formal Encryption in the Presence of Active Adversaries

This publication has 18 references indexed in Scilit:

• Logics for reasoning about cryptographic constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Plaintext Awareness via Key Registration
  Published by Springer Nature ,2003
• Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*
  Journal of Cryptology, 2002
• Formal Eavesdropping and Its Computational Interpretation
  Published by Springer Nature ,2001
• Entity Authentication and Key Distribution
  Published by Springer Nature ,2001
• Universally composable security: a new paradigm for cryptographic protocols
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2001
• Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements
  Published by Springer Nature ,2000
• Authenticated Key Exchange Secure against Dictionary Attacks
  Published by Springer Nature ,2000
• Strand spaces: proving security protocols correct
  Journal of Computer Security, 1999
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983