default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th LADC 2023: La Paz, Bolivia
- 12th Latin-American Symposium on Dependable and Secure Computing, LADC 2023, La Paz, Bolivia, October 16-18, 2023. ACM 2023
Session 1 - Main Track Cloud and networking
- Davi Pontes
, Fernando Silva, Eduardo De Lucena Falcão, Andrey Brito:
Attesting AMD SEV-SNP Virtual Machines with SPIRE. 1-10 - 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. 11-20 - José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Antônio Augusto Fröhlich:
Using Formal Methods for On-The-Fly Time Series Verification. 21-29
Fault-tolerant algorithms
- Fábio Coelho, Ana Nunes Alonso, Luís Meruje Ferreira, José Pereira, Rui Oliveira:
Loom: A Closed-Box Disaggregated Database System. 30-39 - 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. 40-49 - Leonardo de Freitas Galesky, Luiz Antonio Rodrigues, Elias Procópio Duarte Jr., Luciana Arantes:
Efficient Synchronization of CRDTs using VCube-PS. 50-59
Software security and privacy
- Jessica Castro, Nuno Laranjeiro, Marco Vieira:
Generating Realistic Attack Data for Microservices: Framework and Case Study. 60-69 - João R. Campos, Rodrigo Machado, Marco Vieira:
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction. 70-79 - Nicolás Serrano, Gustavo Betarte, Juan Diego Campo:
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks. 80-89
Fault-tolerant algorithms and Security
- João Lucas Scharf, Luiz Gustavo Coutinho Xavier, Odorico M. Mendizabal:
Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance. 90-99 - Everaldo Gomes Junior, Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal:
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead. 100-109 - Jefferson Pereira da Silva, Eduardo Alchieri, Fernando Luís Dotti, Fernando Pedone:
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis. 110-119 - Clayton Matias, Naghmeh Ivaki, Regina Moraes:
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms. 120-125
Intrusion detection and incident handling
- Iury Araújo, Nuno Antunes, Marco Vieira:
Evaluation of Machine Learning for Intrusion Detection in Microservice Applications. 126-135 - 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. 136-145 - Marcelo Rodríguez, Gustavo Betarte, Daniel Calegari:
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy. 146-155 - Marcelo Invert Palma Salas, Paulo L. de Geus, Marcus Botacin:
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning. 156-163
Session 2 - Fast Abstracts
- Herminio Paucar, Júlio Cezar Estrella:
Context-aware monitoring for IoT: an approach based on Agents, and Federated Learning. 164-165 - Allan Edgard Silva Freitas:
On Design Autonomic Behavior for Blockchain platforms. 166-167 - Gustavo Freire, Herminio Paucar, Júlio Cezar Estrella:
A distributed software architecture based on reactive microservices for the Smart Building context. 168-169
Session 3 - Student Forum
- José Wilson Vieira Flauzino, Elias Procópio Duarte Jr.:
Towards a Novel Model for Availability as a Service. 170-175 - Iury Araújo, Nuno Antunes, Marco Vieira:
Intrusion Detection and Tolerance for Microservice Applications. 176-181 - Bukhtawar Zamir, João R. Campos, Marco Vieira:
Advanced Machine Learning for Runtime Data Generation. 182-187
Session 4 - Industrial Track
- Luiza Bartels de Oliveira, Marco Antônio Araújo, Mário Antônio Ribeiro Dantas:
A case study on the development of an ontology for maintenance services of heavy machinery electronic components. 188-191 - Francisco Valderlan Nobre, Danielle Santos, Silvio E. S. B. Ribeiro, Maria C. Mesquita, Rafael Lopes Gomes, Thelmo P. de Araújo:
Identification of High Delay Links in Internet Service Providers. 192-195 - Arthur Urbano, Douglas A. Da Silva, Maria C. Mesquita, Yago Melo Costa, Mariana Cirino, Rafael Lopes Gomes:
MonTh: A Tool for Automated Monitoring of Threats. 196-199 - Janine Kniess:
Optimization of Heterogeneous Data in Sensor Networks to Industrial Internet. 200-203 - 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. 204-207
Session 5 - SAFELIFE Workshop
- Nawshin Mannan Proma, Rob Alexander:
Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation. 208-213
Session 6 - WSENSING Workshop
- Matheus Monteiro Silveira, Danielle Santos, Michael S. Souza, Douglas A. Da Silva, Maria C. Mesquita, Jonas Neto, Rafael Lopes Gomes:
An Anonymization Service for Privacy in Data Mining. 214-219 - Michael Silva, Silvio E. S. B. Ribeiro, Vanessa Carvalho, Francisco J. Cardoso, Rafael Lopes Gomes:
Scalable Detection of SQL Injection in Cyber Physical Systems. 220-225 - Andrés Llinás, Matias J. Micheletto, Rodrigo M. Santos, Sergio F. Ochoa:
Software defined wireless networks with real-time constraints. 226-229
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-15 22:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
