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.
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.
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.