[ The Types Forum (announcements only),
! SecCo 2011 !
! Aachen, Germany !
! Monday, September 5th, 2011 !
! http://www.lix.polytechnique.fr/~kostas/SecCo2011/ !
! Affiliated with CONCUR 2011 !
Papers due: June 3rd, 2011
Notification: July 8th, 2011
Final paper due: July 22nd, 2011
Workshop: September 5th, 2011
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 2011 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), SecCo'09
(affiliated to CONCUR'09) and SecCo'10 (affiliated to CONCUR'10).
Note that this is SecCo's last year as an independent
workshop. Starting from next year, SecCo is merging with several other
workshops in the field to form the Conference on Security and Trust
Foundations (STF) which will be part of the European Joint Conferences
on Theory and Practice of Software (ETAPS).
The workshop proceedings will be published in the new EPTCS series (Electronic
Proceedings in Theoretical Computer Science, see
for the list of all published EPTCS volumes);
we thus encourage submissions already in that format (A4 size).
Submissions may be of two kinds:
- Normal submissions, included in the EPTCS proceedings.
- Presentation-only submissions. These could overlap with submissions
to other conferences or journals, and will not be included in the
proceedings. These provide an opportunity to present innovative ideas
and get feedback from a technically competent audience.
The page limit is 18 pages including the bibliography but excluding
well-marked appendices. The page limit is the same for both kinds of
submissions, please indicate clearly whether you intend you paper to
be included in the proceedings or not.
Papers must be submitted electronically at the following URL:
A special issue of Journal of Computer Security (JCS) has been
arranged in collaboration with TOSCA (ARSPA-WITS) 2011. Selected
papers from both workshops will be invited for submission, and will be
peer-reviewed according to the standard policy of JCS.
* Miguel E. Andres (Ecole Polytechnique, France)
* Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair)
* Stephanie Delaune (ENS Cachan, France)
* Ralf Kuesters (University of Trier, Germany)
* Gavin Lowe (University of Oxford, UK)
* Jun Pang (University of Luxembourg, Luxembourg; co-chair)
* Mark Ryan (University of Birmingham, UK)
* Dominique Unruh (Saarland University, Germany)
* Luca Vigano (University of Verona, Italy)
* Chenyi Zhang (University of New South Wales, Australia)