Special Issue on Dependable and Secure Computing 2024

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

LADC 2024

In its 12^th 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.

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 2024 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: 15 April 2025
● Notification 1st round: 1 June 2025
● Submission of revised versions: 1 July 2025
● Notification 2nd round: 30 August 2025
● Submission of revised versions: 31 August 2025
● Notification 3rd round: 30 September 2025
● Submission of revised versions: 25 September 2025
● Final notification: 10 October 2025

Guest Editors

Prof. Nuno Laranjeiro received the PhD degree from the University of Coimbra, Portugal, where he currently is an Associate Professor. His research focuses on dependable and secure software services and he currently leads the Software and Systems Engineering (SSE) group at the Centre for Informatics and Systems of the University of Coimbra (CISUC). His research interests include experimental dependability evaluation, fault injection, robustness of software and web services, web services interoperability, and software security. He is currently mostly involved in developing new techniques towards more reliable and secure cloud systems and microservices, in developing techniques for security assurance in blockchain smart contracts, and using machine learning techniques for software fault and vulnerability prediction in the software development lifecycle. He has contributed, as an author, reviewer and program committee member to leading conferences and journals in the dependability and services computing areas. Nuno serves on the Program Board and served as PC Chair for the International Symposium on Software Reliability Engineering (ISSRE). He is a member of the Senior PC of the IEEE International Conference on Web Services (ICWS). Nuno has been involved in the organization of several international events, including several editions of ISSRE. He acted as PC Chair in ISSRE 2023 and LADC 2024. He was Guest Editor for the Software Quality Journal and Journal of Systems and Software, special issue on emerging challenges in software certification and verification; and for the Journal of Systems and Software with special issue on Software Reliability and Dependability Engineering. He participated in international research projects, including several H2020 projects (e.g., ADVANCE, DEVASSES, ATMOSPHERE, EUBrasilCloudFORUM) and FP7 projects (CRITICAL STEP, CECRIS).