LADC 2023 – Main Track (Full papers)

You can access the proceedings here!

TitleAuthors (Affiliation)
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy LeaksNicolas Serrano (Pedeciba Informática – Uruguay),
Gustavo Betarte (Facultad de Ingeniería, Universidad de la República – Uruguay),
Juan Diego Campo (Universidad de la Republica – Uruguay)
Attesting AMD SEV-SNP Virtual Machines with SPIREDavi Pontes (UFCG – Brazil),
Fernando Silva (UFCG – Brazil),
Eduardo Falcão (Universidade Federal do Rio Grande do Norte – Brazil),
Andrey Brito (UFCG – Brazil)
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomyMarcelo Rodríguez (Universidad de La República – Uruguay),
Gustavo Betarte (Facultad de Ingeniería, Universidad de la República – Uruguay),
Daniel Calegari (Universidad de La Republica – Uruguay)
Using Formal Methods for On-The-Fly Time Series VerificationJosé Luis Hoffmann (Federal University of Santa Catarina – Brazil),
Leonardo Horstmann (Federal University of Santa Catarina – Brazil),
Antonio Augusto Frohlich (Universidade Federal de Santa Catarina – Brazil)
Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed SystemsGabriela Stein (Universidade Estadual do Oeste do Paraná – Brazil),
Luiz Rodrigues (Universidade Estadual do Oeste do Paraná (Unioeste) – Brazil),
Elias Duarte Jr. (UFPR – Brazil),
Luciana Arantes (Sorbonne Université – France)
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging PerformanceJoão Scharf (Universidade Federal de Santa Catarina – Brazil),
Luiz Gustavo Xavier (Universidade Federal de Santa Catarina – Brazil),
Odorico Mendizabal (Universidade Federal de Santa Catarina – Brazil)
Efficient Synchronization of CRDTs using VCube-PSLeonardo Galesky (Universidade Estadual do Oeste do Paraná – Brazil),
Luiz Rodrigues (Universidade Estadual do Oeste do Paraná (Unioeste) – Brazil),
Luciana Arantes (Sorbonne Université – France),
Elias Duarte Jr. (UFPR – Brazil)
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning AlgorithmsClayton Matias (State University of Campinas – Brazil),
Naghmeh Ivaki (University of Coimbra – Portugal),
Regina Moraes (Universidade Estadual de Campinas – Brazil)
Evaluation of Machine Learning for Intrusion Detection in Microservice ApplicationsIury Araujo (University of Coimbra – Portugal),
Nuno Antunes (University of Coimbra – Portugal),
Marco Vieira (University of Coimbra – Portugal)
An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution KnowledgePatrick A. C. Guerra (Federal University of Santa Maria – Brazil),
Fabio Barcelos (Universidade Federal de Santa Maria – Brazil),
Raul Ceretta Nunes (Federal University of Santa Maria – Brazil),
Edison Pignaton de Freitas (Universidade Federal do Rio Grande do Sul – Brazil),
Luis Alvaro de Lima Silva (Universidade Federal de Santa Maria – Brazil)
Loom: A Closed-Box Disaggregated Database SystemFábio Coelho (INESCTEC & U. Minho – Portugal),
Ana Alonso (INESCTEC & U. Minho – Portugal),
Luis Ferreira (INESCTEC & U. Minho – Portugal),
Jose Pereira (INESC TEC & U. Minho – Portugal),
Rui Oliveira (INESCTEC & U. Minho – Portugal)
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure PredictionJoão R. Campos (University of Coimbra – Portugal),
Rodrigo Machado (University of Coimbra – Portugal),
Marco Vieira (University of Coimbra – Portugal)
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer LearningMarcelo Palma Salas (Universidade Estadual de Campinas – Brazil),
Paulo de Geus (University of Campinas – Brazil),
Marcus Botacin (Texas A&M University – USA)
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict AnalysisJefferson Silva (UnB – Algeria),
Eduardo Alchieri (UnB – Brazil),
Fernando Dotti (PUCRS – Brazil),
Fernando Pedone (University of Lugano – Switzerland)
ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN NetworksJoão Pastório (Universidade Tecnológica Federal do Paraná – Brazil),
Álvaro Ricieri Castro e Souza (Universidade Tecnológica Federal do Paraná – Brazil),
Fabio Spanhol (UTFPR (Federal University of Technology-Parana) – Brazil),
Alexandre Huff (UTFPR – Universidade Tecnológica Federal do Paraná – Brazil),
Edson Tavares de Camargo (Universidade Tecnológica Federal do Paraná – Brazil)
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot OverheadEveraldo Gomes Junior (Universidade Federal do Rio Grande – Brazil),
Eduardo Alchieri (UnB – Brazil),
Fernando Dotti (PUCRS – Brazil),
Odorico Mendizabal (Universidade Federal de Santa Catarina – Brazil)
Generating Realistic Attack Data for Microservices: Framework and Case StudyJessica Castro (University of Coimbra – Brazil),
Nuno Laranjeiro (University of Coimbra – Portugal),
Marco Vieira (University of Coimbra – Portugal)