Insecurity problem for assertions remains in NP

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…