Formal Aspects in Security and Trust (FAST)

Automated Reasoning for Security Protocol Analysis (ARSPA) – Workshop on Issues in the Theory of Security (WITS)

Venue statistics

records by year

document access 

    frequent authors

      IFIP WG 1.7 Theoretical Foundations of Security Analysis and Design

      FAST 2011: Leuven, Belgium

      FAST 2010: Pisa, Italy

      ARSPA-WITS 2010: Paphos, Cyprus

      FAST 2009: Eindhoven, The Netherlands

      ARSPA-WITS 2009: York, UK

      FAST 2008: Malaga, Spain

      FAST 2006: Hamilton, Ontario, Canada

      FAST 2005: Newcastle upon Tyne, UK

      -

      FAST 2005 Home Page

      WITS 2005: Long Beach, California, USA

      FAST 2004: Toulouse, France

      -

      FAST 2004 Home Page

      WITS 2004: Barcelona, Catalonia, Spain

      WITS 2004 Home Page

      Workshop on Issues in the Theory of Security (WITS) 2003: Warsaw, Poland

      WITS 2003 Home Page

      Workshop on Issues in the Theory of Security (WITS) 2002: Portland, OR, USA

      WITS 2002 Home Page

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics