Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations

This publication has 6 references indexed in Scilit:

• Formally-Based Black-Box Monitoring of Security Protocols
  Published by Springer Nature ,2010
• A Computationally Sound Mechanized Prover for Security Protocols
  IEEE Transactions on Dependable and Secure Computing, 2008
• BitBlaze: A New Approach to Computer Security via Binary Analysis
  Published by Springer Nature ,2008
• The Transport Layer Security (TLS) Protocol Version 1.1
  Published by RFC Editor ,2006
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Symbolic execution and program testing
  Communications of the ACM, 1976