CALL FOR PAPERS =============== ARSPA-WITS'11 Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security http://www.avantssar.eu/arspa-wits11 Saarbruecken, Germany March 26-27, 2011 Affiliated with ETAPS 2011 IMPORTANT DATES =============== Abstract due: (extended) December 10, 2010 Papers due: (extended) December 17, 2010 Author Notification: January 21, 2011 SCOPE ===== 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 analysis. 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 to: 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 Tools for Access control and resource usage control Authentication Availability and denial of service Covert channels analysis Anonymity, privacy and confidentiality Integrity Intrusion detection Preventing malicious code Mobile code Trust management Security policies Security protocols SUBMISSION AND PUBLICATION ========================== 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 http://www.springer.com/lncs. If your paper does not fit into this page limit, please contact the Program Chairs before submitting your paper. 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: http://www.easychair.org/conferences/?conf=arspawits11 The post-proceedings of the workshop will be published by Springer in the LNCS series. PROGRAM COMMITTEE (preliminary) =============================== 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)