Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Miriam Paiola, Bruno Blanchet. Verification of security protocols with lists: From length one to unbounded length. Journal of Computer Security, 21(6):781-816, 2013. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Verification of Security Protocols with Lists: From Length One to Unbounded LengthMiriam Paiola, Bruno Blanchet. post 2012: 69-88 [doi] Automatic verification of protocols with lists of unbounded lengthBruno Blanchet, Miriam Paiola. ccs 2013: 573-584 [doi] Verification of cryptographic protocols with lists of unbounded lengths. (Vérification de protocoles cryptographiques avec listes de longueur non bornée)Miriam Paiola. PhD thesis, Paris Diderot University, France, 2014. [doi]
The following publications are possibly variants of this publication: