Internal Area
| ARSPA-WITS'09 |
|
ARSPA-WITS'09: Joint Workshop on "Automated Reasoning for Security Protocol Analysis" and :Issues in the Theory of Security", March 28-29, 2009, York, UK. Affiliated with ETAPS 2009. Link to the ARSPA-WITS'09 workshop.
|
Latest News
New!
| Interview with Alessandro Armando (University of Genova, Italy) |
| AVANTSSAR contributed to the discovery of serious vulnerability of the SAML-based SSO for GoogleApps |
Project Coordinator
Luca Viganò
Dipartimento di Informatica
Facoltà di Scienze MM FF NN
Università di Verona
Strada Le Grazie 15I-37134 Verona, Italy Tel.: +39 0458027070 Fax.: +39 0458027068 E-Mail: luca.vigano AT univr.it