Publications de
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Gabriel Erzse, Simone Frau, Marius Minea, David Von Oheimb, Sebastian Mödersheim, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rochetto, Michaël Rusinowitch, Mohamad Torabi Dashti, Mathieu Turuani, Luca Vigano
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (regular paper)
Dans : TACAS, Talinn, Estonie, 24/03/12-01/04/12, Vol. 7214, Cormac Flanagan, Barbara Koenig (Eds.), Springer, LNCS, p. 267-282, mars 2012.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies (regular paper)
Dans : MMM-ACNS, St-Petersbourg, 17/10/12-20/10/12, Vol. 7531, Igor Kotenko, Victor Skormin (Eds.), Springer, LNCS, p. 130-145, octobre 2012.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints (regular paper)
Dans : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Bouhoulia-Cuppens, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, p. 235-252, septembre 2011.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation (regular paper)
Dans : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Cuppens-Boulahia, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, p. 173-189, septembre 2011.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with a Set Constructor (regular paper)
Dans : International Conference on Risks and Security of Internet and Systems (CRiSIS 2010), Montréal, Québec, Canada, 20/10/10-27/10/10, Marius Minea, Nora Boulahia-Cuppens (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, octobre 2010.