On the symbolic reduction of processes with cryptographic functions

This publication has 22 references indexed in Scilit:

• Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols
  Published by Springer Nature ,2001
• On the Reachability Problem in Cryptographic Protocols
  Published by Springer Nature ,2000
• A compiler for analyzing cryptographic protocols using noninterference
  ACM Transactions on Software Engineering and Methodology, 2000
• Reconciling Two Views of Cryptography
  Published by Springer Nature ,2000
• Towards an Automatic Analysis of Security Protocols in First-Order Logic
  Published by Springer Nature ,1999
• Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
  Published by Springer Nature ,1998
• On the regular structure of prefix rewriting
  Theoretical Computer Science, 1992
• A logic of authentication
  Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences, 1989
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Regular canonical systems
  Archive for Mathematical Logic, 1964