Joint Workshop on
Automated Reasoning for Security Protocol Analysis 
Issues in the Theory of Security

Saarbruecken, Germany
March 26-27, 2011

Affiliated with ETAPS 2011


Abstract due: (extended) December 10, 2010 
Papers due: (extended) December 17, 2010
Author Notification: January 21, 2011


Computer security is an established field of computer science of both
theoretical and practical significance. In recent years, there has
been increasing interest in logic-based foundations for various
methods in computer security, including the formal specification,
analysis and design of security protocols and their applications, the
formal definition of various aspects of security such as access
control mechanisms, mobile code security and denial-of-service
attacks, and the modeling of information flow and its application to
confidentiality policies, system composition, and covert channel

We are interested both in new results in theories of computer security
and also in more exploratory presentations that examine open questions
and raise fundamental concerns about existing theories, as well as in
new results on developing and applying automated reasoning techniques
and tools for the formal specification and analysis of security
protocols. We thus solicit submissions of papers both on mature work
and on work in progress. Possible topics include, but are not limited

Automated reasoning techniques
Composition issues
Formal specification
Verification methods
Information flow analysis
Language-based security
Logic-based design
Program transformation
Security models
Static analysis
Quantitative and statistical methods


Access control and resource usage control
Availability and denial of service
Covert channels analysis
Anonymity, privacy and confidentiality
Intrusion detection
Preventing malicious code
Mobile code
Trust management
Security policies
Security protocols


All submissions will be peer-reviewed. Authors of accepted papers must
guarantee that their paper will be presented at the workshop. To
preserve ARSPA-WITS's tradition of being an open forum, authors may
decide whether they would like a revised version of a paper to appear
in the post-proceedings. Authors should clearly state at time of
submission whether a paper is intended for presentation only or also
for publication: this should be stated at the end of the abstract of
the paper. Papers for presentation only may substantially overlap
other (cited) work of the authors. This choice will not affect the
selection procedure in any other way.

Submissions should be at most 16 page long excluding references and
appendices with a total length not exceeding 20 pages. Manuscripts
should be written in the Springer LNCS style available at the URL If your paper does not fit into this
page limit, please contact the Program Chairs before submitting your

Authors are invited to submit their papers electronically, as portable
document format (pdf) or postscript (ps); please, do not send files
formatted for work processing packages (e.g., Microsoft Word or
Wordperfect files). The only mechanism for paper submissions is via
the electronic submission web-site powered by EasyChair:

The post-proceedings of the workshop will be published by Springer in
the LNCS series.


Alessandro Armando (Universita` di Genova & Fondazione Bruno Kessler, Italy)
Lujo Bauer (CMU, USA)
Achim D. Brucker (SAP Research, Germany)
Yannick Chevalier (Universite' de Toulouse, France)
Luca Compagna (SAP Research, France)
Jorge Cuellar (Siemens AG, Germany)
Cas Cremers (ETH Zurich, Switzerland)
Pierpaolo Degano (Universita` di Pisa, Italy)
Riccardo Focardi (Universita` Ca' Foscari di Venezia)
Dieter Gollmann (Hamburg University of Technology, Germany)
Joshua Guttman (Worcester Polytechnic Institute, USA)
Jan Juerjens (TU Dortmund and Fraunhofer ISST, Germany)
Gavin Lowe (Oxford University, UK)
Catherine Meadows (Naval Research Laboratory, USA)
John Mitchell (Stanford University, USA)
Sebastian A. Moedersheim (Technical University of Denmark; co-chair)
Catuscia Palamidessi (INRIA and LIX, France; co-chair)
Michael Rusinowitch (INRIA-Lorraine, France)
Mark Ryan (University of Birmingham, UK)
Vladimiro Sassone (University of Southampton, UK)
Geoffrey Smith (Florida International University, USA)
Graham Steel (LSV, INRIA & CNRS & ENS-Cachan, France)
Luca Vigano` (Universita` di Verona, Italy)
Bogdan Warinschi (University of Bristol, UK)