Internal Area
| ARSPA-WITS'10 |
|
ARSPA-WITS'10: Joint Workshop on "Automated Reasoning for Security Protocol Analysis" and :Issues in the Theory of Security", March 27-28, 2010, Paphos, Cyprus. Affiliated with ETAPS 2010. Link to the ARSPA-WITS'10 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