*Call for Papers and Participation*

*14th International Workshop on Security and High Performance Computing
Systems (SHPCS 2019)*
http://hpcs2019.cisedu.info/2-conference/workshops/workshop10-shpcs


As part of

*The 17th International Conference on High Performance Computing &
Simulation (HPCS 2019)*
http://hpcs2019.cisedu.info/

July 15 - 19, 2019
Dublin, Ireland


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

SCOPE AND OBJECTIVES

High performance computing systems intersect with the computer security
world in primarily two ways. The first one is as multi-user systems where
guarantees beyond availability of the service must be provided to their
users (e.g., confidentiality of the data being processed by different
actors, integrity of the results and the computation itself). The second
one is as potential tools to assess the cost effectiveness of extensively
equipped attackers. SHPCS welcomes contributions on both these research
directions.

Concerning the first point, SHPCS addresses security aspects related to
targeting HPC, grid, and cloud environments, such as security threat
awareness, proactive network traffic analysis, network and host intrusion
prevention systems, incident response, forensic analysis, and resolution of
security incidents. Furthermore, SHPCS considers how to add security
properties 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
jointly addressed, e.g., considering availability and fault tolerance for
high performance computing systems.

Concerning the second security-HPC interaction, SHPCS covers how to use HPC
systems to solve security problems. For instance, an HPC system can be
employed to assess the concrete resistance of a given cryptosystem against
known cryptanalytic attacks, whenever performing a significant
precomputation may increase the feasibility of known attacks. Moreover,
SHPCS investigates the tradeoffs between maintaining high performance and
achieving security in computing systems and solutions to balance the two
objectives. In particular, challenging scenarios arise due to the nature of
academic and industrial research HPC centers, where actors with different
access rights share the same resources. Indeed, different levels of
disclosure of the results, ranging from open science to industrial
intellectual property may be needed for the outcomes of computations
conducted on the same cluster.

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

The SHPCS Workshop topics of interest include (but are not limited to) the
following:

   - Incident response, forensic analysis and resolution of security
   incidents.
   - Awareness and quantification of the threats to the security in HPC
   environments
   - High-performance security solutions for authentication and data access
   authorization
   - Proactive and reactive network traffic analyses
   - Scalable and usable access control systems
   - High Performance Secure Storage
   - Cloud HPC security aspects, including use of lightweight containers
   for security purposes
   - Accounting and auditing techniques suited for HPC services
   - Side-channel attacks which can be conducted on HPC systems
   - Formal verification of security of protocols and tools for HPC systems
   - High Performance implementation of formal verification tools
   - High Performance implementation of cryptosystems
   - High Performance cryptanalysis
   - Intrusion and Attack Detection and Response
   - Privacy Preserving and Enhancing Technologies
   - Blockchain schemes for HPC decentralization
   - High Performance solutions for outsourced data  processing
   - Trustworthy computation solutions to provide reliable results to users
   (e.g. process Enclaves)

*Proceedings*

Accepted papers will be published in the Conference proceedings.
Instructions for final manuscript format and requirements will be posted on
the HPCS 2019 Conference web site. It is our intent to have the proceedings
formally published in hard and soft copies and be available at the time of
the conference. The proceedings is projected to be included in the IEEE or
ACM Digital Library and indexed in all major indexing services accordingly.

*SPECIAL ISSUE*

Plans are underway to have the best papers, in extended version, selected
for possible publication in a reputable journal as special issue. Detailed
information will soon be announced and will be made available on the
conference website.

If you have any questions about paper submission or the Workshop, please
contact the workshop organizers.


*IMPORTANT DATES (EXTENDED)*

 Paper Submissions: -----------------------------------------  April 10, 2019
 Acceptance Notification: -----------------------------------  April 24, 2019
 Camera Ready Papers and Registration Due by: ---------------  May 08, 2019


*WORKSHOP ORGANIZERS*

Marco Baldi and Francesco Spegni
    Universitá Politecnica delle Marche
    Email:  {m.baldi | f.spegni}@univpm.it

Gerardo Pelosi and Giovanni Agosta
    Politecnico di Milano
    Email: {gerardo.pelosi@polimi.it | agosta@acm.org}


*International Program Committee:  *

All submitted papers will be rigorously reviewed by the workshop technical
program committee members following similar criteria used in HPCS 2019 and
will be published as part of the HPCS 2019 Proceedings.


   - Sherenaz Al Haj Baddar, University of Jordan
   - Kevin Barker, Pacific Northwest National Laboratory
   - Mathieu Blanc, CEA/DAM/DIF, France
   - Roberto Carbone, Security & Trust Unit, Bruno Kessler Foundation
     (FBK-ICT), Italy
   - Aniello Castiglione, University of Salerno, Italy
   - Franco Chiaraluce, Universitá Politecnica delle Marche, Italy
   - Gabriele Costa, IMT School for Advanced Studies, Lucca, Italy
   - Thomas Eickermann, Forschungszentrum Juelich GmbH, Germany
   - Ylies Falcone, Universite Grenoble Alpes, France
   - Johann Groszschaedl, University of Luxembourg
   - Dieter Hutter, DFKI GmbH
   - Martin Gilje Jaatun, SINTEF Digital, Norway
   - Rafal Kozik, Institute of Telecommunications, UTP Bydgoszcz, Poland
   - Jean-Francois Lalande, CentraleSupélec, Rennes, France
   - Francesc-Josep Lordan Gomis, Barcelona Supercomputing Center, Spain
   - Alessio Merlo, DIBRIS, Università degli Studi di Genova, Italy
   - Jose A. Onieva, University of Malaga, Spain
   - Silvio Ranise, Security & Trust, FBK-Irst, Trento, Italy
   - Davide Schipani, University of Zurich, Switzerland
   - Renaud Sirdey, Commissariat à l'Energie Atomique (CEA), France
   - Luca Spalazzi, Università Politecnica delle Marche, Italy
   - Luca Viganò, King's College London, U.K.
   - Magnus Westerlund, Arcada University of Applied Science, Helsinki, Finland