 | 2012 |
|---|
| 6 |       | 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: 267-282 |
| 2011 |
|---|
| 5 | | Tigran Avanesov,
Yannick Chevalier,
Mohammed Anis Mekki,
Michaël Rusinowitch:
Web Services Verification and Prudent Implementation.
DPM/SETOP 2011: 173-189 |
| 4 | | Tigran Avanesov,
Yannick Chevalier,
Mohammed Anis Mekki,
Michaël Rusinowitch,
Mathieu Turuani:
Distributed Orchestration of Web Services under Security Constraints.
DPM/SETOP 2011: 235-252 |
| 3 | | Tigran Avanesov,
Yannick Chevalier,
Michaël Rusinowitch,
Mathieu Turuani:
Satisfiability of General Intruder Constraints with and without a Set Constructor
CoRR abs/1103.0220: (2011) |
| 2010 |
|---|
| 2 | | Tigran Avanesov,
Yannick Chevalier,
Michaël Rusinowitch,
Mathieu Turuani:
Satisfiability of general intruder constraints with a set constructor.
CRiSIS 2010: 1-8 |
| 2008 |
|---|
| 1 | | Humberto J. Abdelnur,
Tigran Avanesov,
Michaël Rusinowitch,
Radu State:
Abusing SIP Authentication.
IAS 2008: 237-242 |
Data released under the ODC-BY 1.0 license — See also our legal information page