Cryptographic Protocol Analysis on Real C Code

This publication has 14 references indexed in Scilit:

• A static analyzer for large safety-critical software
  Published by Association for Computing Machinery (ACM) ,2003
• Security Properties: Two Agents Are Sufficient
  Published by Springer Nature ,2003
• Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software
  Published by Springer Nature ,2002
• On Name Generation and Set-Based Analysis in the Dolev-Yao Model
  Published by Springer Nature ,2002
• Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
  Published by Springer Nature ,2002
• Pointer analysis
  Published by Association for Computing Machinery (ACM) ,2001
• Ultra-fast aliasing analysis using CLA
  Published by Association for Computing Machinery (ACM) ,2001
• An attack on the Needham-Schroeder public-key authentication protocol
  Information Processing Letters, 1995
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978