On the security of ping-pong protocols when implemented using the RSA

Strong Practical Protocols

CRYPTO '87 A Conference on the Theory and Applications of Cryptographic Techniques on Advances in Cryptology

Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract)

CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology

Verifying authentication protocol implementations

FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V

A survey of algebraic properties used in cryptographic protocols

Journal of Computer Security

On the Relative Soundness of the Free Algebra Model for Public Key Encryption

Electronic Notes in Theoretical Computer Science (ENTCS)

Which new RSA signatures can be computed from RSA signatures, obtained in a specific interactive protocol?

EUROCRYPT'92 Proceedings of the 11th annual international conference on Theory and application of cryptographic techniques