Efficient symbolic execution for analysing cryptographic protocol implementations
On the security of public key protocols