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) |