TOSCA

Joint Workshop on Theory of Security and Applications

Search within this conference

Search

1. 2011

   TOSCA 2011

   • 31 March - 1 April
   • Saarbrücken, Germany

   • Theory of Security and Applications

     12 Papers

     1 Volume

2. 2010

   ARSPA-WITS 2010

   • 27-28 March
   • Paphos, Cyprus

   • Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

     12 Papers

     1 Volume

3. 2009

   ARSPA-WITS 2009

   • 28-29 March
   • York, United Kingdom

   • Foundations and Applications of Security Analysis

     14 Papers

     1 Volume