AVANTSSAR - Forerunner Projects

Forerunner Projects

The AVISPA Project	Automated Validation of Internet Security Protocols and Applications, Shared-cost RTD (FET open) project, Information Society Technologies Programme (IST), operating within the Fifth Framework Programme,.started on January 1st, 2003.
The AVISS Project	Automatic Verification of Infinite State Systems, Information Society Technologies Programme (IST), FET Open Assessment 1-year Project: IST-2000-26410, started May 1st, 2001.

Luca Viganò

Dipartimento di Informatica 
Facoltà di Scienze MM FF NN 
Università di Verona

Strada Le Grazie 15

I-37134 Verona, Italy

Tel.: +39 0458027070

Fax.: +39 0458027068

E-Mail: luca.vigano AT univr.it