Solving the insecurity problem for assertions

R Ramanujam, Vaishnavi Sundararajan, S P Suresh

In the symbolic verification of cryptographic protocols, a central problem is deciding whether a protocol admits an execution which leaks a designated secret to the malicious intru…