- FCS-ARSPA'06,
Foundations of Computer Security and Automated Reasoning for Security
Protocol Analysis
LICS'06
(and FLoC'06) Affiliated Workshop.
Seattle, Washington,
August 15-16, 2006.
- VERIFY'06, 3rd
International Verification Workshop
IJCAR'06
(and FLoC'06) Affiliated Workshop.
Seattle, Washington,
August 15-16, 2006.
- SecReT 2006, 1st International Workshop
on Security and Rewriting Techniques
S. Servolo, Venice,
Italy, July 15.
- CNIS 2006, IASTED
International Conference on Communication, Network, and Information
Security
MIT, Cambridge, Massachusetts, USA, October 9-11,
2006.
- SEA 2006, The 10th
IASTED International Conference on Software Engineering and
Applications
Dallas, Texas, USA, November 13-15,
2006.
- SecCo'06, 4th International
Workshop on Security Issues in Concurrency
CONCUR 2006
Affiliated Workshop.
Bonn, Germany, August 31, 2006.
- STM 2006, 2nd ERCIM Workshop on
Security and Trust Management
ESORICS 2006 Affiliated
Workshop.
Hamburg, Germany.
- Special Issue of Theoretical Computer
Science on Automated Reasoning for Security Protocol
Analysis
ARSPA'05, Automated Reasoning for
Security Protocol Analysis
ICALP 2005
Workshop W6, July 16, 2005.
Supported by the FET-Open IST
Project AVISPA