Wihem Arsac

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Business Processes

Service Oriented Architecture

Top Venues

Publications

Wihem Arsac, Annett Laube, Henrik Plate
Policy Chain for Securing Service Oriented Architectures. DPM/SETOP (2012)
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, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS (2012)
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
Multi-Attacker Protocol Validation. J. Autom. Reason. 46 (3-4) (2011)
Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta
Security Validation of Business Processes via Model-Checking. ESSoS (2011)
Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta
Security validation tool for business processes. SACMAT (2011)
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
Validating Security Protocols under the General Attacker. ARSPA-WITS (2009)
Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna
Attacking Each Other. Security Protocols Workshop (2009)