1 paper
Ioana Boureanu, R. Ramanujam, Srinibas Swain
We study the verification of parameterised secrecy for cryptographic protocols in the Dolev-Yao model, where the number of protocol sessions is unbounded and treated as a parameter…