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.