8th Workshop on Security and High Performance Computing Systems
(SHPCS 2013)

As part of
The International Conference on High Performance Computing & Simulation
(HPCS 2013)

July 1 - July 5, 2013
Helsinki, Finland

SUBMISSION DEADLINE: February 23, 2013

Submissions could be for full papers, short papers, poster papers, or posters


Providing high performance computing and security is a challenging
task.  Internet, operating systems and distributed environments
currently suffer from poor security support and cannot resist common
attacks.  Adding security measures typically degrade performance.
This workshop addresses relationships between security and high
performance computing systems in three directions.

First, it considers how to add security properties (authentication,
confidentiality, integrity, non-repudiation, access control) to high
performance computing systems and how they can be formally verified
both at design-time (formal verification) and at run-time (run-time
verification).  In this case, safety properties can also be addressed,
such as availability and fault tolerance for high performance
computing systems.

Second, it covers how to use high performance computing systems to
solve security problems.  For instance, a grid computation can break
an encryption code, a cluster can support high performance intrusion
detection or a distributed formal verification system. More generally,
this topic addresses every efficient use of a high performance
computing systems to improve security.

Third, it investigates the tradeoffs between maintaining high
performance and achieving security in computing systems and solutions
to balance the two objectives.

In all these directions, various formal analyses, as well as
performance analyses or monitoring techniques can be conducted to show
the efficiency of a security infrastructure.

The workshop seeks submissions from academia and industry presenting
novel research on all theoretical and practical aspects of computer
and network security, as well as case studies and implementation
experiences.  Papers should have practical relevance to the
construction, evaluation, application, or operation of secure systems.

The Workshop topics of interest include (but are not limited to) the
*	Access Control
*	Accounting and Audit
*	Anonymity
*	Applied Cryptography
*	Authentication
*	Cloud Security
*	Commercial and Industry Security
*	Cryptographic Protocols
*	Data and Application Security
*	Data/System Integrity
*	Database Security
*	Digital Rights Management
*	Formal Verification of Secure Systems
*	Identity Management
*	Inference/Controlled Disclosure
*	Information Warfare
*	Intellectual Property Protection
*	Intrusion and Attack Detection
*	Intrusion and Attack Response
*	Key Management
*	Privacy-Enhancing Technology
*	Secure Networking
*	Secure System Design
*	Security Monitoring & Management
*	Security for Mobile Code
*	Security for Specific Domains (e.g., E-Government, E-Business, P2P)
*	Security in IT Outsourcing
*	Security in Mobile and Wireless Networks
*	Security in Untrusted & Adversarial Environments and Systems
*	Security in Operating Systems
*	Security Location Services
*	Security of Grid and Cluster Architectures
*	Security Visualization
*	Smartcards
*	Trust Management Policies
*	Trust Models
*	Web Security
*	Web Services Security


You are invited to submit original and unpublished research works on
above and other topics related to Security in HPC.  Submitted papers
must not have been published or simultaneously submitted elsewhere.
Submission should include a cover page with authors' names,
affiliation addresses, fax numbers, phone numbers, and email
addresses.  Please, indicate clearly the corresponding author and
include up to 6 keywords from the above list of topics and an abstract
of no more than 400 words.  The full manuscript should be at most 7
pages using the two-column IEEE format.  Additional pages will be
charged additional fee.  Short papers (up to 4 pages), poster papers
and posters will also be accepted for submission.  Please include page
numbers on all preliminary submissions to make it easier for reviewers
to provide helpful comments. Submit a PDF copy of your full manuscript
via using the Easychair (the submission link will be provided soon).

Only PDF files will be accepted, submitted via the link above.  Each
paper will receive a minimum of three reviews.  Papers will be
selected based on their originality, relevance, technical clarity and
presentation.  Submission implies the willingness of at least one of
the authors to register and present the paper, if accepted.  Authors
of accepted papers must guarantee that their papers will be registered
and presented at the workshop.


Accepted papers will be published in the conference proceedings which
will be made available at the time of the meeting.  Instructions for
final manuscript format and requirements will be posted on the HPCS
2013 Conference web site.  The proceedings is projected to be included
in the IEEE Digital Library and indexed accordingly.


Authors of selected papers will be invited to submit an extended
version of their work for a special issue in an ISI Journal (the last
special issue has been published in the Future Generation Computer
Systems (FGCS) Journal - Elsevier).

Paper Submissions: --------------------------------- February 23, 2013
Acceptance Notification: ------------------------------ March 23, 2013
Camera Ready Papers and Registration Due: ------------  April 11, 2013
Conference Dates:  ---------------------------------- July 1 - 5, 2013


Luca Spalazzi
Dipartimento di Ingegneria dell'Informazione
Università Politecnica delle Marche
Via Brecce Bianche
I-60131 Ancona, ITALY, EU
Phone: +39 071 2204829
Fax:   +39 071 2204474
Email: spalazzi@dii.univpm.it