Proceedings of the Latin-American Symposium on Dependable Computing (LADC)

Current Issue

2023: Proceedings of the 12th Latin-American Symposium on Dependable Computing

The Proceedings of the 12th Latin-American Symposium on Dependable Computing (LADC 2023) bring the papers selected and presented in the edition of the event held in La Paz, Bolivia, from October 16-18, 2023. In this issue, the proceedings include 17 full papers. These papers were selected through a single-blind review. The event's program committee was coordinated by Fabíola Greve (Universidade Federal da Bahia, Brazil) and Roberto Natella (Università degli Studi di Napoli Federico II, Italy), who organized this volume. The articles in this volume were submitted on 06/14/2023, and accepted for publication on 07/24/2023, with the final version submitted on 08/14/2023.

To access the Companion Proceedings, visit the LADC 2023 Companion Proceedings series.

You can find more information about LADC 2023 by visiting the website of the event.

Published: 2023-10-16

Full Papers

Attesting AMD SEV-SNP Virtual Machines with SPIRE

Davi Pontes, Fernando Silva, Eduardo Falcão, Andrey Brito

1–10
- ACM DL
ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN Networks

João Pastório, Álvaro Ricieri Castro e Souza, Fabio Spanhol, Alexandre Huff, Edson Tavares De Camargo

11–20
- ACM DL
Using Formal Methods for On-The-Fly Time Series Verification

José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Antonio Augusto Frohlich

21–29
- ACM DL
Loom: A Closed-Box Disaggregated Database System

Fábio Coelho, Ana Alonso, Luis Ferreira, Jose Pereira, Rui Oliveira

30–39
- ACM DL
Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems

Gabriela Stein, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes

40–49
- ACM DL
Efficient Synchronization of CRDTs Using VCube-PS

Leonardo Freitas Galesky, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes

50–59
- ACM DL
Generating Realistic Attack Data for Microservices: Framework and Case Study

Jessica Castro, Nuno Laranjeiro, Marco Vieira

60–69
- ACM DL
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction

João R. Campos, Rodrigo Machado, Marco Vieira

70–79
- ACM DL
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks

Nicolas Serrano, Gustavo Betarte, Juan Diego Campo

80–89
- ACM DL
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance

João Lucas Scharf, Luiz Gustavo C. Xavier, Odorico M. Mendizabal

90–99
- ACM DL
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead

Everaldo Gomes Junior, Eduardo Alchieri, Fernando Dotti, Odorico Mendizabal

100–109
- ACM DL
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis

Jefferson Silva, Eduardo Alchieri, Fernando Dotti, Fernando Pedone

110–119
- ACM DL
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms

Clayton Matias, Naghmeh Ivaki, Regina Moraes

120–125
- ACM DL
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications

Iury Araujo, Nuno Antunes, Marco Vieira

126–135
- ACM DL
An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution Knowledge

Patrick Andrei Caron Guerra, Fabio André Barcelos, Raul Ceretta Nunes, Edison Pignaton De Freitas, Luis Alvaro de Lima Silva

136–145
- ACM DL
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy

Marcelo Rodríguez, Gustavo Betarte, Daniel Galegari

146–155
- ACM DL
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning

Marcelo Invert Palma Salas, Paulo De Geus, Marcus Botacin

156–163
- ACM DL

View All Issues