Validating Security Protocols under the General Attacker. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (ARSPA-WITS, 2009)

Attacking Each Other. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (Security Protocols Workshop, 2009)

Attacking Each Other. - Xavier Chantry (Security Protocols Workshop, 2009)

Multi-Attacker Protocol Validation. - Wihem Arsac; Giampaolo Bella; Xavier Chantry; Luca Compagna (J. Autom. Reason., 2011)