Automatic verification of protocols with lists of unbounded length. - Bruno Blanchet; Miriam Paiola (CCS, 2013)

Verification of security protocols with lists: From length one to unbounded length. - Miriam Paiola; Bruno Blanchet (J. Comput. Secur., 2013)

Verification of cryptographic protocols with lists of unbounded lengths. (Vérification de protocoles cryptographiques avec listes de longueur non bornée). - Miriam Paiola (2014)