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)

Security Validation of Business Processes via Model-Checking. - Wihem Arsac; Luca Compagna; Giancarlo Pellegrino; Serena Elisa Ponta (ESSoS, 2011)

Security validation tool for business processes. - Wihem Arsac; Luca Compagna; Samuel Paul Kaluvuri; Serena Elisa Ponta (SACMAT, 2011)

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

Policy Chain for Securing Service Oriented Architectures. - Wihem Arsac; Annett Laube; Henrik Plate (DPM/SETOP, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - Alessandro Armando; Wihem Arsac; Tigran Avanesov; Michele Barletta; Alberto Calvi; Alessandro Cappai; Roberto Carbone; Yannick Chevalier; Luca Compagna; Jorge Cuéllar; Gabriel Erzse; Simone Frau; et al. (TACAS, 2012)