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.
|
Users Support
| Users mailing list |
| Bug report (Bugzilla) |
Events
News
| 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