Monday, May 22, 2023

[DMANET] Call for Papers: Int. Symp. on Stabilization, Safety, and Security of, Distributed Systems

/****************************************************/
25th Int. Symp. on Stabilization, Safety, and Security of
Distributed Systems (SSS 2023)
/****************************************************/

October 2-4, 2023
Institute for Future Technologies, USA (NJIT-BGU Partnership) and
Virtual Conference https://www.StabilizationSafetySecurity2023.com

**** Dates:
First Submission Deadline April 6, 2023;
First Acceptance Notification May 11, 2023;
First Camera-ready copy due May 21, 2023;
Second Submission Deadline June 18, 2023;
Second Acceptance Notification July 23, 2023;
Second Camera-ready copy due August 1, 2023;

For each accepted regular paper and brief announcement, at least one
author must register by the date a Camera-ready copy is due.

**** Keynote Speakers: Partial List
Moti Yung - Principal Research Scientist at Google and Colombia
University, CS Adjunct Faculty.

**** Chairs and Conference Committee:
General Chairs
Shlomi Dolev, Co-Chair Ben-Gurion University, Israel;
Baruch Schieber, Co-Chair New Jersey Institute of Tech- nology, USA;

**** Track A. Self-stabilizing Systems:
Lelia Blin, Co-Chair Sorbonne Universite - LIP6, France;
Yuichi Sudo, Co-Chair Hosei University, Japan;

**** Track B. Distributed and Concurrent Computing:
Achour Mostefaoui, Co-Chair Nantes Universite, France;
Michel Raynal,Co-Chair IRISA, France;

**** Track C. Cryptog- raphy and Security:
Pandu Rangan Chandrasekaran, Co-Chair Indian Institute of Technology, India;
Reza Curtmola, Co-Chair NJIT, USA;
Moti Yung, Co-Chair Colombia University and Google, USA

**** Track D. Dynamic, Mobile, and Nature-Inspired Computing Mobile agents
Paola Flocchini, Co-Chair University of Ottawa, Canada;
Nicola Santoro, Co-Chair Carleton University, Canada;

**** Track E. Distributed Databases
Sharad Mehrotra, Co-Chair University of California at Irvine, USA;
Shantanu Sharma, Co-Chair New Jersey Institute of Technology, USA;

**** Publicity Chairs
Nisha Panwar, Co-Chair, Augusta University, USA;
Volker Turau, Co-Chair University of Hamburg, Germany;

**** Organization Chair
Rosemary Franklin, Ben-Gurion University of the Negev, Israel

**** Steering Committee:
Anish Arora, Ohio State University, USA;
Shlomi Dolev, Ben-Gurion Univ., Israel;
Sandeep Kulkarni, Michigan State University, USA;
Toshimitsu Masuzawa, Osaka University, Japan;
Franck Petit, Sorbonne Universite, France;
Sebastien Tixeuil, Chair Sorbonne Universite, France;
Elad Michael Schiller, Chalmers University of Technology, Sweden

**** Advisory Committee:
Sukumar Ghosh, University of Iowa, USA;
Mohamed Gouda, University of Texas at Austin, USA;
Ted Herman, University of Iowa, USA

**** Submissions.
There are two types of submissions: regular papers and brief
announcements. 1. A regular submission must not exceed 15 pages
(including title, abstract, figures, and references). 2. A brief
announcement submission must not exceed 5 pages and should not include
any appendix. Additional necessary details for an expert to verify the
main claims of the submission may be included in a clearly marked
appendix if extra space is needed. Any submission deviating from these
guidelines will be rejected without consideration of its merits. It is
recommended that a regular submission begins with a succinct statement
of the problem being addressed, a summary of the main results or
conclusions, a brief explanation of their significance, a brief
statement of the key ideas, and a comparison with related work, all
tailored to a non-specialist. Technical development of the work,
directed to the specialist, should follow. Papers outside of the
conference scope will be rejected without review. For the second round
only, if requested by the authors on the cover page, a regular
submission that is not selected for a regular presentation will also
be considered for the brief announcement format. This will not affect
consideration of the paper for a regular presentation.

**** Scope.
SSS is an international forum for researchers and practitioners in the
design and development of distributed systems with a focus on systems
that are able to provide guarantees on their structure, performance,
and/or security in the face of an adverse operational environment. The
symposium encourages submissions of original contributions on
fundamental research and practical applications concerning topics in
the five symposium tracks:

**** Track A. Self-stabilizing Systems:
Self-stabilizing systems; Self-stabilizing protocols and algorithms;
Practically-stabilizing systems; Variants of self- stabilization;
Topological stabilization; Autonomic Computing; Stabilization and
self-* properties in hardware, software, and middleware design; and
Self-stabilizing software-defined infrastructure.

**** Track B. Distributed and Concurrent Computing: Foundations,
Fault-Tolerance and Scalability
Distributed, concurrent, and fault-tolerant algorithms;
Synchronization protocols; Shared and transactional memory;
Graph-theoretic concepts for communication networks; Formal methods,
validation, verification, and synthesis; Social networks; Game-theory
and economical aspects of distributed computing; Randomization in
distributed computing; High-performance, cluster, cloud and grid
computing; Network security and privacy; Blockchain technologies and
cryptocurrencies; and Applied cryptography

**** Track C. Cryptography and Security
Cryptographic designs, implementation analysis, and construction
methods; Secure multi-party computation and cryptographic distributed
protocols; Privacy-enhancing technologies and anonymity; Post-quantum
and information theoretic cryptography and security; Secure software
and secure programming methodologies; Formal methods, semantics and
verification of secure systems; Fault tolerance, reliability,
availability of distributed secure systems; Game-theoretic approaches
to secure computing; Communication and internet: security,
authentication and identification; Cybersecurity for hardware
components, mobile, cyber-physical systems, and internet of things;
Cybersecurity of corporations (applications, end points, and cloud);
Security and privacy for web applications; Security of edge and fog
computing; and Cryptocurrency and Blockchains.

**** Track D. Dynamic, Mobile, and Nature-Inspired Computing
Mobile agents; Autonomous mobile robots; Mobile sensor networks;
Mobile ad-hoc networks; Population protocols; Dynamic networks,
time-varying graphs, evolving graphs; Nature-inspired computing;
Programmable particles, nanoscale robots, biological systems, and
related new models.

**** Track E. Distributed Databases
Distributed transactions; Blockchain technologies; Pervasive, mobile
and IoT data management; Distributed database architecture; Edge
computing architectures; Distributed query processing and
optimization; Federated analytics and learning; Cloud data management;
Security and privacy in databases; and Interoperability across
systems.

**** Paper Submissions
Papers are to be submitted electronically through EasyChair
https://easychair.org/conferences/?conf=sss2023 Each submission must
be an original work written in English, in PDF format, and must
conform to the formatting instructions of Springer LNCS series
springer.com/gp/computer-science/lncs/conference-proceedings-guidelines.

**** Double-blind Review
All submissions must be anonymous. We use a somewhat relaxed
implementation of double-blind peer review: you are free to
disseminate your work through arXiv and other online repositories and
give presentations on your work as usual. However, please make sure
you do not mention your own name or affiliation in the submission, and
please do not include obvious references in the text that reveal your
identity. A reviewer who has not previously seen the paper should be
able to read it without accidentally learning the identity of the
authors. Please feel free to ask the PC chairs if you have any
questions about the double-blind policy of SSS 2022.

**** Publication.
Regular papers and brief announcements will be included in the
conference proceedings. Conference proceedings will be published by
Springer in the LNCS conference series. Extended and revised versions
of selected papers will be considered for a special issue of the
journal Theoretical Computer Science (TCS).

**** Best Papers Awards.
Prizes will be given to the best regular paper and best student
regular paper. A regular paper is eligible for the best student paper
if at least one of its authors is a full-time student at submission
time. Authors should clearly indicate whether their submission is
eligible to be considered for the best student paper award (e.g.,
using a (thanks) in the title). The PC may decline to confer awards or
may split awards.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************