Publications of
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)
In : TACAS, Talinn, Estonie, 24/03/12-01/04/12, Vol. 7214, Cormac Flanagan, Barbara Koenig (Eds.), Springer, LNCS, pp. 267-282, March 2012.
Alessandro Armando, David Basin , Yohann Boichut, Yannick Chevalier, Al. Et
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
In : Computer-Aided Verification, Edinburgh, Scotland, UK, 06/07/05-10/07/05, Etessami Kousha, Rajamani Sriram (Eds.), Springer-Verlag, pp. 1-5, July 2005.