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, Emerson 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 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 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 Mendizabal:
Extending State Machine Replication through Composition. 231-240 - Davi Pontes, Fernando Silva, Anderson Melo, Asm 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
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.