![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
13th LADC 2024: Recife, Brazil
- Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing, LADC 2024, Recife, Brazil, November 26-29, 2024. ACM 2024, ISBN 979-8-4007-1740-6
Research Session 1: Security
- Raiff Silva
, Andrey Brito
, Jan Paulo de Lima Filho
:
Automation of Security Controls for Continuous Compliance in Vulnerability Management. 1-10 - João Rafael Henriques, José D'Abruzzo Pereira, Marco Vieira
:
Mining Vulnerability and Code Repositories to Study Software Security. 11-16 - Lucas Senos Coutinho
, Daniel S. Menasché
, Lucas Miranda
, Enrico Lovat
, Srivastava Gaurav Kumar
, Abhishek Ramchandran
, Anton Kocheturov
, Tobias Limmer
:
How Context Impacts Vulnerability Severity: An Analysis of Product-Specific CVSS Scores. 17-27
Fast Abstract: Technical Session 1
- Gustavo Almeida
, Patrick Taraborelli
, Hebert Silva
:
An Approach Toward Enhancing OT and IoT Security. 28-29 - Maria Molina
, Gustavo Betarte
, Carlos Daniel Luna
:
Consent validation for personal data access control using ABAC. 30-31
Research Session 2: Networks and Dependability
- Miguel Angelo Santos Bicudo
, Daniel Sadoc Menasché
:
Risk Aggregation Using the Poisson Shot Noise Model: What is the Impact of the Window Size? 32-37 - Erick Nascimento
, Eduardo Antonio Guimarães Tavares
, Jamilson Dantas
, Paulo Romero Martins Maciel
:
Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation. 38-48 - Marcelo Paulon J. V.
, Bruno José Olivieri de Souza, Thiago de Souza Lamenza
, Markus Endler
:
Practical Challenges and Pitfalls of Bluetooth Mesh Data Collection Experiments with ESP32 Microcontrollers. 49-54
Research Session 3: Reliability and Safety in Autonomous and AI Systems
- José Luis Conradi Hoffmann, Antônio Augusto Fröhlich, Marcus Völp
, Paolo Milazzo
:
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. 55-64 - Luan Lins
, Erick Nascimento
, Jamilson Dantas
, Jean Araujo
, Paulo Romero Martins Maciel
:
Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability. 65-74 - Joaquin Gracia-Moran
, Juan Carlos Ruiz
, David de Andrés
, Luis J. Saiz-Adalid
:
Allocating ECC parity bits into BF16-encoded CNN parameters: A practical experience report. 75-80
Research Session 4: Best Paper Candidates
- José Augusto Bolina, Pierre Sutra
, Douglas Antunes Rocha
, Lásaro J. Camargos:
Generic Multicast. 81-90 - Santiago Fernández
, Emilio Martínez, Jorge Varela, Pablo Musé
, Federico Larroca
:
Deep-TEMPEST: Using Deep Learning to Eavesdrop on HDMI from its Unintended Electromagnetic Emanations. 91-100 - Diego Gama
, Andrey Brito
, André Martin, Christof Fetzer
:
Supporting continuous vulnerability compliance through automated identity provisioning. 101-110
Fast Abstract: Technical Session 2
- Ana Vitoria Freitas
, Silvio Romero de Araújo Júnior
, Hebert Silva
:
MQTT-VET: Exploring MQTT Protocol Vulnerabilities. 111-113 - Alexandre Beletti Ferreira
, Caio Augusto R. Dos Santos
, Fabricio Guerra da Silva
:
Reincarnation Daemon: improving dependability on Linux. 114-115
Research Session 5: Blockchain and Distributed Algorithms
- Anderson Melo de Morais
, Fernando Antônio Aires Lins
, Nelson Souto Rosa
:
Selecting Blockchain Consensus Algorithms Integrations for IoT-based Enviroments. 116-125 - Erwan Mahe
, Rouwaida Abdallah
, Sara Tucci Piergiovanni
, Pierre-Yves Piriou
:
Adversary-Augmented Simulation to evaluate order-fairness on HyperLedger Fabric. 126-135 - Luiz Antonio Rodrigues
, Allan Edgard Silva Freitas
, Elias Procópio Duarte Jr.
, Vinicius Fulber-Garcia
:
A Hierarchical Adaptive Leader Election Algorithm for Crash-Recovery Distributed Systems. 136-145
Student Forum
- Edson Moura Silva
, Rafael Melo Macieira
, Danilo Ricardo Barbosa de Araújo
, Ermeson Carneiro de Andrade
:
Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic Models. 146-152 - Amanda Riverol
, Gustavo Betarte
, Rodrigo Martínez
, Alvaro Pardo
:
Capturing the security expert knowledge in feature selection for web application attack detection. 153-158 - Maria Gizele Nascimento
, Rafael José Moura, Fumio Machida
, Ermeson C. Andrade
:
Comparision of Machine Learning Algorithms for Detecting Software Aging in SQL Server. 159-164 - Wenderson de Souza Leonardo
, Thiago Valentim Bezerra, Gustavo Callou
:
Stochastic Petri Net Models for Availability and Performance Evaluation of Nextcloud Service hosted in Apache Cloudstack. 165-170
Industrial Track
- Milton de Lima
, Geraldo da Cruz Junior
, David da Cunha
, Jimmy Paul Souza Barreto
:
A Flexible Framework for Evaluating Cyber Security Maturity and Risks in Electric Power Generation Organizations. 171-174 - Esau Bermudez
, Paulo Maciel
:
Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation. 175-178 - Carlos Eduardo De Schuller Banjar
, Miguel Angelo Santos Bicudo
, Lucas Miranda
, Cainã Figueiredo Pereira, Lucas Senos Coutinho
, Daniel Sadoc Menasché
, Gaurav Kumar Srivastava
, Enrico Lovat
, Anton Kocheturov
, Matheus Martins
, Leandro Pfleger de Aguiar
:
Automated Severity Driven Patch Management. 179-183 - Matheus F. Torquato
, Bruno Jesus
, Francisco Airton Silva
, Eduardo Cerqueira
:
Empirical observation of Execution Throttling as MQTT Broker defense against Memory Denial of Service Attacks. 184-187 - Ivo A. Pimenta
, Douglas A. Da Silva
, Evellin S. Moura
, Matheus Monteiro Silveira, Rafael Lopes Gomes
:
Impact of Data Anonymization in Machine Learning Models. 188-191 - Ewerton R. Andrade
, Cristiano Coimbra Goes
, Janislley Oliveira de Sousa
:
Post-Quantum Algorithms on ARM Trusted Execution Environment (TEE): findings of this industrial challenge. 192-195 - Ariel L. C. Portela, Maria Melo Linhares
, Francisco Valderlan Jorge Nobre
, Rafael A. Menezes
, Maria C. Mesquita
, Rafael Lopes Gomes
:
The Role of TCP Congestion Control in the Throughput Forecasting. 196-199
Research Session 6: IoT, Critical Devices and Dependability
- Abadio de Paulo Silva
, Anubis Graciela de Moraes Rossetto
, Pierre Sens
, Luciana Arantes
, Rafael Pasquini
, Paulo R. S. L. Coelho:
Disaster-FD: A Failure Detector for Disaster-Prone Environments. 200-209 - Thiago Valentim Bezerra, Gustavo Callou
, Cleunio França
, Eduardo Antonio Guimarães Tavares
:
A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things. 210-219 - David C. C. Freitas, Lirida Alves de Barros Naviner, João Cesar Moura Mota, Jarbas Silveira, César A. M. Marcon, David Freitas Moura Mota, Alexandre Coelho:
nMatrix: A New Decoding Algorithm for the Matrix ECC. 220-230
Research Session 7: Cloud Services and Dependability
- Caroline Martins Alves
, Thaís Bardini Idalino
, Odorico Machado Mendizabal
:
Extending State Machine Replication through Composition. 231-240 - Davi Pontes
, Fernando Silva
, Anderson Melo
, A. S. M. Asadujjaman
, Eduardo De Lucena Falcão, Andrey Brito
, Carlos Filho
:
Multi-Platform and Vault-Free Attestation of Confidential VMs. 241-251 - Beatriz Michelson Reichert
, Rafael R. Obelheiro
:
IT-SPIRE: Improving the Resilience of the SPIFFE/SPIRE Architecture with an Intrusion-Tolerant Server. 252-261 - Gustavo Callou
, Marco Vieira
:
Availability and Performance Analysis of Cloud Services. 262-271
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.