Wihem Arsac

According to our database, Wihem Arsac authored at least 7 papers between 2009 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, 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ò

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Policy Chain for Securing Service Oriented Architectures.

Wihem Arsac, Annett Laube, Henrik Plate

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

2011

Multi-Attacker Protocol Validation.

Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna

J. Autom. Reason., 2011

Security validation tool for business processes.

Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Security Validation of Business Processes via Model-Checking.

Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2009

Attacking Each Other.

Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna

Proceedings of the Security Protocols XVII, 2009

Validating Security Protocols under the General Attacker.

Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna

Proceedings of the Foundations and Applications of Security Analysis, 2009