Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation

This publication has 13 references indexed in Scilit:

• I/O automaton models and proofs for shared-key communication systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Composition and integrity preservation of secure reactive systems
  Published by Association for Computing Machinery (ACM) ,2000
• Reconciling Two Views of Cryptography
  Published by Springer Nature ,2000
• Probabilistic Polynomial-Time Equivalence and Security Analysis
  Published by Springer Nature ,1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• A probabilistic poly-time framework for protocol analysis
  Published by Association for Computing Machinery (ACM) ,1998
• The inductive approach to verifying cryptographic protocols
  Journal of Computer Security, 1998
• Breaking and fixing the Needham-Schroeder Public-Key Protocol using FDR
  Published by Springer Nature ,1996
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983