Talks

2005

A. Armando, The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications, Talk given at CAV 2005, International Conference on Computer Aided Verification.
PDF slides

A. Armando, The AVISPA Project: Automated Validation of Internet Security Protocols and Applications, Invited talk at the Security Area Advisory Group (SAAG), the 62nd IETF Meeting, Minneapolis, March 05, 2005.
HTML slides

S. Mödersheim, L. Viganò, D. von Oheimb, Tutorial: Automated Validation of Security Protocols (AVASP'05), in the context of the 8th European Joint Conference on Theory and Practice of Software (ETAPS 2005), April 3, 2005.
Tutorial web site.

D. von Oheimb: The High-Level Protocol Specification Language HLPSL developed in the EU project AVISPA, talk given at the APPSEM 2005 Workshop , September 13, 2005.
PDF slides and abstract.

L. Viganò, A Model-Che