SECCO 2010 Call For Papers

SecCo 2010
Paris, France
Monday, August 30th, 2010
http://www.win.tue.nl/~kostas/SecCo2010/

Affiliated with Concur 2010

IMPORTANT DATES
===============
Papers due: June 1st, 2010
Notification: July 9th, 2010
Final paper due: July 23rd, 2010
Workshop: August 30th, 2010

BACKGROUND, AIM AND SCOPE
=========================
Emerging trends in concurrency theory require the definition of models and languages adequate for the design and management of new classes of applications, mainly to program either WANs (like Internet) or smaller networks of mobile and portable devices (which support applications based on a dynamically reconfigurable communication structure). Due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic point-to-point tunnels. Therefore, the proposed solutions in this area are not always exploitable to support the end-to-end secure interaction between entities whose availability or location is not known beforehand.

The aim of the workshop is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we look for papers dealing with security issues — such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models — in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing.

SecCo 2010 follows the success of SecCo’03 (affiliated to ICALP’03), SecCo’04 (affiliated to CONCUR’04), SecCo’05 (affiliated to CONCUR’05), SecCo’07 (affiliated to CONCUR’07), SecCo’08 (affiliated to CONCUR’08) and SecCo’09 (affiliated to CONCUR’09).

SUBMISSION
==========
The workshop proceedings will be published in the new EPTCS series (Electronic Proceedings in Theoretical Computer Science, see
http://www.cse.unsw.edu.au/~rvg/EPTCS/);
we thus encourage submissions already in that format. Submissions may be of two kinds:
– Short papers (not included in the proceedings): up to 5 pages;
– Full papers: up to 15 pages (including bibliography).

Papers must be sumbitted electronically at the following URL:
http://www.easychair.org/conferences/?conf=secco10

Simultaneous submission to other conferences or journals is only allowed for short papers. These are an opportunity to present innovative ideas (without working out a full paper) and to get feedback from a technically competent audience. As done for the previous SecCo workshops, if the quality of the accepted submissions warrants it, there will be a special issue of the Journal of Computer Security devoted to selected papers from the workshop.

PROGRAM COMMITTEE
=================
* Kostas Chatzikokolakis (University of Eindhoven, Netherlands; co-chair)
* Veronique Cortier (LORIA – CNRS, France; co-chair)
* Cas Cremers (ETH Zurich, Switzerland)
* Jerry den Hartog (University of Eindhoven, Netherlands)
* Riccardo Focardi (Universita Ca’ Foscari di Venezia, Italy)
* Cédric Fournet (Microsoft Cambridge, UK)
* Joshua Guttman (Worcester Polytechnic Institute, USA)
* Jun Pang (University of Luxembourg, Luxembourg)
* Michael Rusinowitch (LORIA – INRIA Lorraine, France)
* Steve Schneider (University of Surrey, UK)