Accepted Papers
Main Track
| Title | Authors (Affiliation) |
| A Checkpoint/Restore Service for Kubernetes Stateful Containers | Rodrigo H. Müller (UFSC, Brazil) Marcus Vinicius Ribeiro Silveira (UFSC, Brazil) Cristina Meinhardt (UFSC, Brazil) Odorico M. Mendizabal (UFSC, Brazil) |
| Robustness-Cost Trade-offs of Adversarial Training for Network Intrusion Detection: An Empirical Comparison of FGSM and PGD | Edson Barbosa de Souza (IME, Brazil) Paulo César Pellanda (IME, Brazil) Ronaldo Moreira Salles (IME, Brazil) |
| Adaptive Disaster-FD: An Energy-Aware Query-Response Failure Detector with Dynamic Impact Factors for IoT Disaster Monitoring | Anubis Graciela de Moraes Rossetto (IFSul, Brazil) Abadio de Paulo Silva (UFU, Brazil) Paulo Coelho (UFU, Brazil) Pierre Sens (LIP6, France) Luciana Arantes (Sorbonne Université, France) |
| Understanding the Impact of Proposer Location in Geo-Distributed BFT Consensus | Lucca Cezar (PUCRS, Brazil) Fernando Luís Dotti (PUCRS, Brazil) Fernando Pedone (University of Lugano, Switzerland) |
| Exploring Adaptive Byzantine Quorum Systems to Improve Latency in the WAN | Linus Gnan (FAU Erlangen, Germany) Rüdiger Kapitza (FAU Erlangen, Germany) Christian Berger (FAU Erlangen, Germany) |
| Cross-Tool Poisoning in Model Context Protocol Servers: An Empirical Security Evaluation | Gabriel Lima (FATEC Americana, Brazil) Felipe Mitsunori Uehara (FATEC Americana, Brazil) João Emmanuel D Alkmin Neves (FATEC Americana, Brazil) |
| How Much Architecture Is Enough? A Controlled Ablation of Hybrid CNN-ECA-Transformer Models for Intrusion Detection in HTTPS Traffic | Edson Barbosa de Souza (IME, Brazil) Paulo César Pellanda (IME, Brazil) Ronaldo Moreira Salles (IME, Brazil) |
| Adapting the PASTA Threat Modeling Process to Scientific Software Repositories | Maria Fiori (UNICAMP, Brazil) Breno Bernard Nicolau de França (UNICAMP, Brazil) José Alexandre D’Abruzzo Pereira (University of Coimbra, Portugal) |
| Impact-VCube-D: A Distributed Impact-Aware Dynamic Reorganization Mechanism for VCube Failure Detection | Luiz Antonio Rodrigues (UNIOESTE, Brazil) Anubis Graciela de Moraes Rossetto (UPF, Brazil) Paulo Coelho (UFU, Brazil) Luciana Arantes (Sorbonne Université, France) Pierre Sens (LIP6, France) Elias P. Duarte Jr. (UFPR, Brazil) |
| Assessing Robustness and Generalization in Intrusion Detection: A Multi-Dataset Study Beyond Metric Saturation | Hugo Sales (IME, Brazil) João Gomes de Medeiros Neto (IME, Brazil) Anderson Fernandes Pereira dos Santos (IME, Brazil) Ronaldo R. Goldschmidt (IME, Brazil) |
| A Comparative Evaluation of Machine Learning Models for Dependable Acoustic Fault Diagnosis in Internal Combustion Engines | Valéria Silva Santos (UFAL, Brazil) Mirelly Fontes (UFAL, Brazil) Breno Santos (UFRN, Brazil) Marianne Batista Diniz da Silva (UFAL, Brazil) |
| Anonymous Communication over Federated Networks: A Gossip-Based Dissemination Protocol | Vinicius Stocker (UTFPR, Brazil) Edson Tavares de Camargo (UTFPR, Brazil) Luis Carlos Erpen De Bona (UFPR, Brazil) |
| An SPN-Based Approach for Availability Evaluation and Cost Estimation in Private-Cloud IoMT Architectures | Thiago Valentim Bezerra (IFPE, Brazil) Cleunio França Filho (UFPE, Brazil) Naghmeh Ivaki (University of Coimbra, Portugal) Gustavo Rau de Almeida Callou (UFRPE, Brazil) Eduardo Antonio Guimaraes Tavares (UFPE, Brazil) |
| Environment Matters: Rethinking IDS Evaluation with Cross-Environment Analysis | Gustavo Bernardo (UFU, Brazil) Elaine Faria (UFU, Brazil) Rodrigo Miani (UFU, Brazil) |
| AI-Driven Predictive Maintenance for Safety-Critical Infrastructure: An Integrated Architecture for Dependable Railway Operation | Osvaldo M. dos Santos Neto (UPE, Brazil) Tarcisio José Rolim Filho (UPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) |
| Verifying Linearizability in Composed State Machine Replication | Carlos Dias Neto (UFSC, Brazil) Odorico M. Mendizabal (UFSC, Brazil) |
| Performability Importance Analysis Framework for Architectural Decision in Distributed Systems | Renato Rodrigues (UFRPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) |
| Towards Dependable Acoustic Fault Diagnosis through Multi-Stage Feature Selection | Elysa F Santos (UFAL, Brazil) Eduardo Marques (UFAL, Brazil) Breno Santos (UFRN, Brazil) Marianne Batista Diniz da Silva (UFAL, Brazil) |
| Preimage-Guided Bit-Precise Verification of Fixed-Point Quantized Neural Networks | João Victor Lima de Souza (UFAM, Brazil) Janislley Oliveira de Sousa (UFAM, Brazil) Iury V. de Bessa (Federal University of Amazonas) Eddie B. Lima Filho (CTPIM, Brazil) Lucas Carvalho Cordeiro (University of Manchester, United Kingdom) |
| QualDataBug: A Bug Report Dataset for Software Reliability Engineering | Tasfia Tasnim (UT Dallas, USA) Rrezarta Krasniqi (UNC Charlotte, USA) Marco Vieira (UNC Charlotte, USA) |
| Analyzing the Energy Consumption of Cryptographic Schemes in Energy-Harvesting LoRaWAN Networks | Vandirleya Barbosa (UFPI, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) Francisco Airton Silva (UFPI, Brazil) |
Industry Track
| Title | Authors (Affiliation) |
| Autonomous Pentesting via MCP: Evaluating the Syntactic and Operational Effectiveness of Frontier vs. Open-Weight LLMs with Hexstrike | Cristiane Aparecida Cavalcante Sales (CPqD, Brazil) Murilo Zanardo Reis Nogueira (CPqD, Brazil) Caroline Miranda Pereira Lima (CPqD, Brazil) Javier Martinez Silva (CPqD, Brazil) Alexandre Melo Braga (CPqD, Brazil) |
| Case Study: From Classical to Post-Quantum Cryptography in Android Mobile Devices | Janislley Oliveira de Sousa (SIDIA, Brazil) Cristiano Goes (SIDIA, Brazil) David Ferreira (SIDIA, Brazil) Ewerton Andrade (SIDIA, Brazil) |
| GNN-Based SLA Assurance Service for Internet Service Providers | Janaina Ribeiro (UECE, Brazil) Francisco Nobre (UECE, Brazil) Maria Clara Ferreira (UECE, Brazil) Maria de Lourdes Melo Linhares de Brito (UECE, Brazil) Rafael Lopes Gomes (UECE, Brazil) |
| Post-Quantum Cryptography on ARM TEEs: Lessons Learned from Embedding it into OP-TEE | Ewerton Andrade (SIDIA, Brazil) Janislley Oliveira de Sousa (SIDIA, Brazil) Cristiano Goes (SIDIA, Brazil) |
| An Integrated Open-Source Framework for Cyber Incident Response | Thays Carvalho (CISSA, Brazil) Carlos Roberto Gonçalves Viana Filho (CESAR School, Brazil) Fernando Antonio Aires Lins (UFRPE, Brazil) Milton Lima (CESAR, Brazil) |
Fast Abstracts
| Title | Authors (Affiliation) |
| The MTD Problem: The “Why” Also Matters | Guilherme Eduardo Gonçalves da Silva (UFPR, Brazil) João Andreotti (UFPR, Brazil) Vinícius Fülber Garcia (UFPR, Brazil) |
| An Approach for Governance, Security and Traceability of RAG-Based Conversational AI Assistants | Caroline Miranda Pereira Lima (CPQD, Brazil) Javier Martinez Silva (CPQD, Brazil) Alexandre Melo Braga (CPQD, Brazil) |
| Assessing Knowledge and Relational Responses Toward Software Reliability | Caio Augusto Rodrigues dos Santos (IFSP, Brazil) Alexandre Beletti Ferreira (IFSP, Brazil) |
| A Dependable Risk-Aware Architecture for Environmental IoT Monitoring | Messias Bittencourt Figueiredo (UFBA, Brazil) Raimundo José de Araujo Macedo (UFBA, Brazil) |
| Null-Pointer Deallocations in Embedded Applications | Alexandre Beletti Ferreira (IFSP, Brazil) Caio Augusto Rodrigues dos Santos (UFU, Brazil) Erik Jonatan Martins Viana (IFSP, Brazil) |
Student Forum
| Title | Authors (Affiliation) |
| Synthetic HTTP Traffic Generation with Controlled Drift | Tobias Iroa (UDELAR, Uruguay) Gustavo Betarte (UDELAR, Uruguay) Rodrigo Martínez (UDELAR, Uruguay) |
| Explainable AI for Dependability Assessment in Acoustic Fault Diagnosis of Automotive Engines | Mirelly Fontes (UFAL, Brazil) Valéria Silva Santos (UFAL, Brazil) Breno Santos (UFRN, Brazil) Marianne Batista Diniz da Silva (UFAL, Brazil) |
| Custodia: Separating Control, Delegation, and Evidence in Encrypted Data Sharing | Marcos Aurelio Costa de Oliveira (UEL, Brazil) Bruno Bogaz Zarpelão (UEL, Brazil) |
| Analyzing the Robustness of Artificial Neural Networks against Perturbation for Medical Image Classification | Gabriel Stephano Santos (USP, Brazil) Clara Goncalves Petrini (USP, Brazil) Ana Vitoria Abreu Murad (USP, Brazil) Antonio Vieira da Silva Neto (USP, Brazil) Paulo Sérgio Cugnasca (USP, Brazil) |
| ContextUEFI: Systemic Mapping and Triage of Interdependencies in UEFI Firmware Using Open Platform | Gelson José de Almeida Filho (UTFPR, Brazil) Newton Carlos Will (UTFPR, Brazil) Juliana de Santi (UTFPR, Brazil) |
| The Shift from Perimeter Security to the Zero Trust Model in Infrastructure Managed by IaC | Deborah Lizardo (PUCPR, Brazil) Altair Olivo Santin (PUCPR, Brazil) Juliano Sartori Langaro (PUCPR, Brazil) Fellipe Medeiros Veiga (PUCPR, Brazil) Eduardo Rodrigues (PUCPR, Brazil) |
| Denial-of-Service Attack Variants: Benchmarking Streaming Anomaly Detection and Classification Methods | Leandro Martins Tosta (UEL, Brazil) Tomás Pagani Pires (UEL, Brazil) Heitor Murilo Gomes (VuW, New Zealand) Bruno Bogaz Zarpelão (UEL, Brazil) |
| Ensemble Machine Learning for Failure Prediction in Cloud Computing | José Carlos Santos (UFPE, Brazil) Eduardo Antonio Guimaraes Tavares (UFPE, Brazil) Erica Sousa (UFRPE, Brazil) |
| Empirical Dependability Measurement of Apache Cassandra under Fault Injection: the Impact of Consistency Levels | Caio Farias Cavalcanti (UFRPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) |
| The Hidden Energy Cost of Resilience: Chaos Engineering Experiments on Microservices in a Private Cloud | Ivan Saboia (UFRPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) |