Forthcoming events and news
Past events (reverse chronological order)
- 2005 July 27
AVISPA Review Meeting (Brussels, Belgium).
This event is restricted to the AVISPA senior members.
- 2005 July 16
2nd ARSPA Workshop on
Automated Reasoning for Security Protocols Analysis
Affiliated with the 32nd ICALP Colloquium,
- 2005 July 8
International Conference on Computer Aided Verification
Alessandro Armando presented the paper
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
- 2005 June 7
Tutorial: Un outil d'aide à la conception de protocoles cryptographiques,
4th Conference on Security and Network Architectures (SAR),
Batz sur Mer (France)<