Cryptographically Sound and Machine-Assisted Verification of Security Protocols

This publication has 20 references indexed in Scilit:

• Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
  Lecture Notes in Computer Science, 2002
• The faithfulness of abstract protocol analysis: message authentication
  2001
• Reconciling Two Views of Cryptography
  2000
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack
  1998
• Relations among notions of security for public-key encryption schemes
  1998
• The Knowledge Complexity of Interactive Proof Systems
  SIAM Journal on Computing, 1989
• A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
  SIAM Journal on Computing, 1988
• Probabilistic encryption
  Journal of Computer and System Sciences, 1984
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983