Internal Area
| TOSCA'11 |
|
ARSPA-WITS'11: Joint Workshop on "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security", from this year on: "TOSCA'11 - Theory of Security and Applications" Affiliated with ETAPS 2011 Saarbrücken, Germany, March 31 and April 1, 2011 Link to TOSCA'11 .
|
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