Special Issue on Dependable and Secure Computing

Special Issue on Dependable and Secure Computing

This Special Call targets selected papers from the 12th Latin-American Symposium on Dependable and Secure Computing (LADC 2023) but accepts other submissions related to the symposium's theme.

LADC 2023

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on computer system dependability in Latin America. LADC features technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track. The symposium's scope includes recent research results on software and system dependability and security. The Symposium is promoted by the Special Committee on Fault-Tolerant Systems (CE-TF) of the Brazilian Computer Society (SBC). This special issue invites extended versions of the best papers of the LADC 2023 edition.

In its 12th edition, The LADC 2023 aims to bring together researchers, professors, and students for lectures, workshops, tutorials, and papers that explore the frontiers of knowledge related to computer systems security and dependability. Both practical and theoretical papers are expected. All aspects of secure and trustworthy computer systems are part of the event, including architectures, protocols and fault-tolerant algorithms, performance models, reliability and security assessment, and testing and evaluation of secure and trustworthy systems. The Latin American and international community in the field is invited to submit original papers on all aspects of research and practice in the development, validation, deployment, and maintenance of dependable and secure systems. These topics are timely and more important than ever since systems have become smarter (with breakthroughs in artificial intelligence), pervasive (with many applications in smart systems and spaces), and sophisticated (as they are widely distributed across fog, edge, and cloud infrastructures), which exposes them to significant risks for dependability and security.

The LADC had its first edition in 2003, was biannual until 1998, when it became annual. As part of two national and international scientific events, the pandemic period has had a strong impact on submissions and participation. In an effort to further strengthen and integrate the Latin American community, the 2023 event will be co-located with XLIV CLEI - Latin American Conference on Informatics, which is an excellent opportunity to attract researchers from Latin America as well as other regions of the world around the themes of dependability. Given the close relationship between the two fields, this issue has also included the topic of Secure Computing. The special issue will invite the best articles from LADC 2023, and we hope that it will present the major challenges in this area, in addition to novel research results under development.

Topics of Interest

All aspects of dependable and secure systems and networks are within the scope of LADC, including fault-tolerant architectures, protocols, and algorithms, models for performance and dependability evaluation, as well as experimentation and assessment of dependable and secure systems and networks, including the following topics of interest:

o Critical infrastructure protection, cyber-physical systems, safety-critical systems
o Blockchain and distributed ledger technologies
o Autonomous and smart systems (e.g., UAVs, smart spaces, urban computing)
o Cloud, edge, and fog computing
o Networks (e.g., wireless, mobile, ad-hoc, sensor networks, internet of things, software-defined networking, network function virtualization)
o Software (e.g., software frameworks and architectures, self-adaptive systems, model-driven engineering, testing, V&V, certification, runtime verification)
o Hardware (e.g., embedded systems, systems on chip, storage systems)
o Emerging technologies (e.g., quantum computing, trusted computing)
o Fault-tolerant algorithms and protocols for distributed and decentralized systems
o Human issues, human-computer interaction, socio-technical systems
o AI for dependability and security, dependability and security of AI systems
o Modeling, measurement, and benchmarking of dependability and security properties
o Security foundations, policies, protocols, access control
o Intrusion detection, intrusion tolerance, incident handling and response

Selection process

The target of this call is a selection of the best papers from the LADC 2023 main track. All papers must be written in English. All submissions are single-blind and must extend the conference's original paper with new material, discussions, and results. This extended version must bring significant originality (at least 35% of new content) and a different title and abstract than the original paper. This new paper should explicitly mention and cite the original paper (i.e., a footnote or information in the acknowledgment section, including the complete reference to the original paper). Only papers related to JISA scope should be invited to this special issue.

Submissions must be in PDF, following the JISA LaTeX or MS Word templates. Papers are expected to have 10 to 20 pages in length, including attachments and references. Papers outside this limit will be considered only in special cases. JISA is open access, free of charge for both authors and readers, and all papers published by JISA follow the Creative Commons Attribution 4.0 International (CC BY 4.0) license.

Authors must follow JISA guidelines and checklist

Review Process: manuscripts will be reviewed by at least 3 experts and independent reviewers in the field. At least one of them must have not reviewed the original LADC 2023 paper, also at least one of them must be a non-Brazilian researcher.

The review process will consider up to 3 review rounds for each manuscript: for the 1st and 2nd rounds, reviews will be sent to authors with an editorial decision: 1. Request a revised version for a new round, 2. Accept, or 3. Reject the manuscript. For the 3rd round, the editorial decision will be either 1. Accept or 2. Reject the manuscript. For each submission round, a cover letter must be included, presenting the paper and then indicating the improvements and answers to reviewers.

Important dates

○ Submission deadline: 7 December 2023.
○ Notification 1st round: 22 December 2023.
○ Submission of revised versions deadline: 22 January 2024.
○ Notification 2nd round: 19 February 2024.
○ Submission of revised versions deadline: 04 February 2024.
○ Notification 3rd round (final): 18 March 2024.
○ Camera-ready submission deadline: 25 March 2024.
○ Ultimate deadline for publication: 02 April 2024.

Guest Editors

Dr. Fabíola Greve is currently the head of the Institute of Computing (IC) at the Federal University of Bahia (UFBA), Brazil. She is full professor in the Department of Computer Science, where she acts as the leader of the distributed computing group Gaudi. She received a PhD degree in Computer Science in 2002 from Rennes University, INRIA Labs, France and a Master degree in Computer Science in 1991 from UNICAMP, Brazil. Her main interests spam the domains of distributed computing, blockchain and fault tolerance. Her current projects aim at identifying conditions, protocols and middleware able to develop distributed fault tolerant dependable systems, including blockchain and distributed ledger technologies. She's been serving as principal investigator of some funded research projects in Brazil. She's been PC co-chair of the 37th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2019), of the 21st International Conference on Distributed Applications and Interoperable Systems (DAIS 2021), and of the 12th Latin-American Symposium on Dependable and Secure Computing (LADC 2023). She's been serving as a program committee member of some of the main conferences in the domain (SRDS, ICDCS, DSN, OPODIS, LADC (she led the SC Chair from 2005 to 2007), SBRC (she led the SC Chair from 2017 to 2019). She was invited as a visiting professor to the following labs in France: LIP6 - Laboratoire de Recherche en Informatique de l'Université Paris 6 (2009, 2010); LRI - Laboratoire de Recherche en Informatique, Université Paris-Sud, Orsay (2007); IRISA - INRIA, Université de Rennes I (2004, 2005).

Dr. Roberto Natella is Associate Professor in Computer Engineering at the Federico II University of Naples, Italy. His research interests are in the field of software security and dependability. The main recurring theme of his research activity is the experimental injection of faults, attacks, and stressful conditions. His research topics include: fuzzing and static analysis; red teaming, adversary emulation, cyber ranges; cyber threat intelligence; machine learning techniques for security; fault injection, robustness testing, dependability benchmarking; software aging and rejuvenation; applications in operating systems and in cloud, mobile, embedded, and virtualization technologies. In 2022, he received the DSN Rising Star in Dependability Award from the IEEE Technical Committee on Dependable Computing and Fault Tolerance (TCFT) and the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, for research achievements within 10 years after PhD graduation. He has been PC co-chair of the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018) and of the 12th Latin-American Symposium on Dependable and Secure Computing (LADC 2023). He has been organizing the workshop series on software certification (WoSoCer) in conjunction with the ISSRE conference. He has been guest editor of a journal special issue on software certification, published on Reliability Engineering & System Safety (RESS), an Elsevier journal; and guest editor of a journal special issue on the best papers of ISSRE 2018, published on Software Testing, Verification, and Reliability (STVR), a Wiley journal. He joined the editorial boards of Complexity and Scientific Programming, co-published by John Wiley & Sons and Hindawi. Since 2018, he has been an IEEE Senior Member.