Login / Signup
LADC
2003
2009
2017
2023
2003
2023
Keyphrases
Publications
2023
12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023
LADC
(2023)
José Wilson Vieira Flauzino
,
Elias Procópio Duarte Jr.
Towards a Novel Model for Availability as a Service.
LADC
(2023)
Matheus M. Silveira
,
Danielle Santos
,
Michael S. Souza
,
Douglas Silva
,
Maria C. Mesquita
,
Jonas Neto
,
Rafael Lopes Gome
An Anonymization Service for Privacy in Data Mining.
LADC
(2023)
Nawshin Mannan Proma
,
Rob Alexander
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation.
LADC
(2023)
Iury Araújo
,
Nuno Antunes
,
Marco Vieira
Intrusion Detection and Tolerance for Microservice Applications.
LADC
(2023)
Gabriela Stein
,
Luiz Antonio Rodrigues
,
Elias Procópio Duarte Jr.
,
Luciana Arantes
Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems.
LADC
(2023)
Luiza Bartels Oliveira
,
Marco Antônio Araújo
,
Mário Antônio Dantas
A case study on the development of an ontology for maintenance services of heavy machinery electronic components.
LADC
(2023)
Nicolás Serrano
,
Gustavo Betarte
,
Juan Diego Campo
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks.
LADC
(2023)
João Lucas Scharf
,
Luiz Gustavo Coutinho Xavier
,
Odorico M. Mendizabal
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance.
LADC
(2023)
Patrick Andrei Caron Guerra
,
Fabio André Barcelos
,
Raul Ceretta Nunes
,
Edison Pignaton de Freitas
,
Luís Alvaro de Lima Silva
An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution Knowledge.
LADC
(2023)
Davi Pontes
,
Fernando Silva
,
Eduardo De Lucena Falcão
,
Andrey Brito
Attesting AMD SEV-SNP Virtual Machines with SPIRE.
LADC
(2023)
Janine Kniess
Optimization of Heterogeneous Data in Sensor Networks to Industrial Internet.
LADC
(2023)
Marcelo Rodríguez
,
Gustavo Betarte
,
Daniel Calegari
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy.
LADC
(2023)
Michael Silva
,
Silvio Ribeiro
,
Vanessa Carvalho
,
Francisco Cardoso
,
Rafael Lopes Gomes
Scalable Detection of SQL Injection in Cyber Physical Systems.
LADC
(2023)
Bukhtawar Zamir
,
João R. Campos
,
Marco Vieira
Advanced Machine Learning for Runtime Data Generation.
LADC
(2023)
Iury Araújo
,
Nuno Antunes
,
Marco Vieira
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications.
LADC
(2023)
Jessica Castro
,
Nuno Laranjeiro
,
Marco Vieira
Generating Realistic Attack Data for Microservices: Framework and Case Study.
LADC
(2023)
Jefferson Pereira da Silva
,
Eduardo Alchieri
,
Fernando Luís Dotti
,
Fernando Pedone
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis.
LADC
(2023)
Herminio Paucar
,
Júlio Cezar Estrella
Context-aware monitoring for IoT: an approach based on Agents, and Federated Learning.
LADC
(2023)
Francisco Valderlan Nobre
,
Danielle Santos
,
Silvio Ribeiro
,
Maria C. Mesquita
,
Rafael Lopes Gomes
,
Thelmo P. de Araujo
Identification of High Delay Links in Internet Service Providers.
LADC
(2023)
Marcelo Invert Palma Salas
,
Paulo L. de Geus
,
Marcus Botacin
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning.
LADC
(2023)
Everaldo Gomes Junior
,
Eduardo Alchieri
,
Fernando Luís Dotti
,
Odorico Machado Mendizabal
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead.
LADC
(2023)
Gustavo Freire
,
Herminio Paucar
,
Júlio Cezar Estrella
A distributed software architecture based on reactive microservices for the Smart Building context.
LADC
(2023)
Carlos A. Aquino
,
Antonio M. Neto
,
Vanessa C. Lima
,
Evellin S. Moura
,
Yanne A. Oliveira
,
Rafael Lopes Gomes
Using IoT Mesh Networks to Extend Wireless Coverage in Industrial Environments.
LADC
(2023)
Andrés Llinás
,
Matias Micheletto
,
Rodrigo M. Santos
,
Sergio F. Ochoa
Software defined wireless networks with real-time constraints.
LADC
(2023)
Allan Edgard Silva Freitas
On Design Autonomic Behavior for Blockchain platforms.
LADC
(2023)
Leonardo de Freitas Galesky
,
Luiz Antonio Rodrigues
,
Elias Procópio Duarte Jr.
,
Luciana Arantes
Efficient Synchronization of CRDTs using VCube-PS.
LADC
(2023)
Fábio Coelho
,
Ana Nunes Alonso
,
Luís Meruje Ferreira
,
José Pereira
,
Rui Oliveira
Loom: A Closed-Box Disaggregated Database System.
LADC
(2023)
João Pastório
,
Álvaro Ricieri Castro e Souza
,
Fabio A. Spanhol
,
Alexandre Huff
,
Edson Tavares de Camargo
ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN Networks.
LADC
(2023)
João R. Campos
,
Rodrigo Machado
,
Marco Vieira
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction.
LADC
(2023)
José Luis Conradi Hoffmann
,
Leonardo Passig Horstmann
,
Antônio Augusto Fröhlich
Using Formal Methods for On-The-Fly Time Series Verification.
LADC
(2023)
Clayton Matias
,
Naghmeh Ivaki
,
Regina Moraes
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms.
LADC
(2023)
Arthur Urbano
,
Douglas Silva
,
Maria C. Mesquita
,
Yago Melo Costa
,
Mariana Cirino
,
Rafael Lopes Gomes
MonTh: A Tool for Automated Monitoring of Threats.
LADC
(2023)
2022
Vinicius Fulber Garcia
,
Fábio Engel De Camargo
,
Elias P. Duarte Jr.
Sk-Greedy: A Heuristic Scheduling Algorithm for Wireless Networks under the SINR Model.
LADC
(2022)
Eduardo E. P. Mosca
,
Silvio Ribeiro
,
Arthur Urbano
,
Danielle S. Silva
,
Rafael L. R. Gomes
Evaluation of Security Techniques in Heterogeneous IoT Devices.
LADC
(2022)
Moisés Cirilo de Brito Souto
,
Lucas Rafael Leandro Silva
,
Andréa Zotovici
,
Larissa Martins
,
Maria de Fátima Mattiello-Francisco
,
Geilson Loureiro
Application of Concurrent Engineering for G.O.L.D.S Constellation as a Cyber-Physical System-of-Systems.
LADC
(2022)
Samuel Rodriguez Gonzalez
,
Juan Betancourt Osorio
,
Germán Pardo González
,
Daniel Cuellar
,
Camilo Gomez
,
Francesco Mariotti
,
Leonardo Montecchi
,
Paolo Lollini
Modeling attacker behavior in Cyber-Physical-Systems.
LADC
(2022)
Marcela Alves Pereira
,
Alirio Santos de Sá
VCBP: A Reliable and Real-Time Group Communication Protocol for Vehicular Ad Hoc Networks.
LADC
(2022)
Lisa Verlande
,
Ulrike Lechner
,
Steffi Rudel
Design of a Federated Learning System for IT Security: Towards Secure Human Resource Management.
LADC
(2022)
Andreia R. Casare
,
Celmar Guimarães da Silva
,
Regina Moraes
Do dependable systems need good user interfaces?
LADC
(2022)
Proceedings of the 11th Latin-American Symposium on Dependable Computing, LADC 2022, Fortaleza/CE, Brazil, November 21-24, 2022
LADC
(2022)
Mihály Dobos-Kovács
,
András Vörös
Evaluation of SMT solvers in abstraction-based software model checking.
LADC
(2022)
Eduardo F. Felix
,
Fernando Antônio Aires Lins
,
Obionor O. Nóbrega
,
Diego R. Gomes
,
Bruno A. Jesus
,
Marco Vieira
Compliance Evaluation of Cryptographic Security Requirements on IoT Gateways.
LADC
(2022)
José Bernardi S. Nunes
,
Andrey Brito
A taxonomy on privacy and confidentiality.
LADC
(2022)
Lucas V. Ruchel
,
Luiz Antonio Rodrigues
,
Rogério C. Turchetti
,
Luciana Arantes
,
Elias P. Duarte Jr.
,
Edson Tavares de Camargo
A Leaderless Hierarchical Atomic Broadcast Algorithm.
LADC
(2022)
Pedro Ângelo Vaz De Carvalho
,
André A. S. Ivo
,
Guilherme Venticinque
,
Gustavo Vicari Duarte
,
Matheus Miranda
,
Fátima Mattiello-Francisco
Simplifying Operational Scenario Simulation for CubeSat Mission Analysis Purposes.
LADC
(2022)
Jessica Castro
,
Nuno Laranjeiro
,
Marco Vieira
Detecting DoS Attacks in Microservice Applications: Approach and Case Study.
LADC
(2022)
Leonardo de Freitas Galesky
,
Luiz Antonio Rodrigues
Efficient CRDT Synchronization at Scale using a Causal Multicast over a Virtual Hypercube Overlay.
LADC
(2022)
Matheus M. Silveira
,
Danielle S. Silva
,
Sandra J. R. Rodriguez
,
Rafael L. R. Gomes
Searchable Symmetric Encryption for Private Data Protection in Cloud Environments.
LADC
(2022)
Leandro Pacheco
,
Fernando Luís Dotti
,
Fernando Pedone
Strengthening Atomic Multicast for Partitioned State Machine Replication.
LADC
(2022)