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-Checker for the Symbolic Analysis of Internet Security Protocols, Invited Talk given at the Faculty of Computer Science of the Imperial College London, U.K, July 6, 2005.

L. Viganò, The AVISPA Project: Automated Validation of Internet Security Protocols and Applications, Invited Talk given at the Special Session on Security of the Twenty-First Conference on the Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, U.K., May 19, 2005.

L. Viganò, A Model-Checker for the Symbolic Analysis of Internet Security Protocols, Invited Talk given at the Faculty of Informatics of the University of Lugano, Switzerland, April 21, 2005. 2005.

L. Viganò, A Model-Checker for the Symbolic Analysis of Internet Security Protocols, Invited Talk given at the Faculty of Computer Science of the University of Verona, Italy, February 22, 2005.

L. Viganò, A Model-Checker for the Symbolic Analysis of Internet Security Protocols, Invited Talk given at the Faculty of Computer Science of the University of Pisa, Italy, February 17, 2005.

L. Vigneron, Tutorial: Un outil d'aide la conception de protocoles cryptographiques, 4th Conference on Security and Network Architectures (SAR), June 2005.
PDF slides.

2004

J. Cuellar, S. Mödersheim, L. Viganò, Tutorial: Automated Validation of Security Protocols (AVASP'04), in the context of the Second International Joint Conference on Automated Reasoning (IJCAR'04), July 5, 2004.
tutorial web site.

L. Viganò, Security Protocol Analysis, Invited Talk on the OFMC back-end and the AVISPA Project given at the Dagstuhl Seminar ``SPP''. Dagstuhl, Germany, November 5-10, 2004.

L. Viganò, Analisi simbolica dei protocolli di sicurezza di Internet, Invited Talk on the OFMC back-end and the AVISPA Project given at the Faculty of Mathematics of the University of Bologna, Italy, October 25, 2004.

L. Vigneron, Automatic Verification of Security Protocols, Invited talk of the 18th Int. Workshop on Unification, Cork (Ireland), July 2004.

2003

J. Cuellar, Full-day Tutorial at the International Conference on Software Engineering And Formal Methods (SEFM 2003, Brisbane, Australia, 22nd - 27th September, 2003), gzip'ed PowerPoint, PowerPoint

J. Cuellar, Invited Talk at the Industrial Day of the Formal methods Europe Conference (FME 2003): Specifying and Verifying real-world Security Protocols Pisa, Italy -September 8-14, 2003
PDF

L. Viganò, An on-the-fly model-checker for security protocol analysis, Invited Talk given at the Dagstuhl Seminar on Language-Based Security. Dagstuhl, Germany, October 5--10, 2003.