Efficient symbolic execution for analysing cryptographic protocol implementations
Symbolic execution and program testing