01▲Decidability of Parameterised Dolev-Yao Secrecy arxiv.org Can secrecy in unbounded Dolev-Yao sessions be decided? Yes, if you accept bounded freshness, typing, and a cut-off.arxivcryptographydecidabilitydolev-yaoparameterized-verificationprotocol-verificationsecuritywsts0 pts/viktor9/9 days ago/2 comments