<\/p>\n\n\n\n
Title<\/strong><\/td>| Authors (Affiliation)<\/strong><\/td><\/tr> | A Checkpoint\/Restore Service for Kubernetes Stateful Containers<\/td> | Rodrigo H. M\u00fcller (UFSC, Brazil) | Marcus Vinicius Ribeiro Silveira (UFSC, Brazil) Cristina Meinhardt (UFSC, Brazil) Odorico M. Mendizabal (UFSC, Brazil) <\/td><\/tr> Robustness-Cost Trade-offs of Adversarial Training for Network Intrusion Detection: An Empirical Comparison of FGSM and PGD<\/td> | Edson Barbosa de Souza (IME, Brazil) | Paulo C\u00e9sar Pellanda (IME, Brazil) Ronaldo Moreira Salles (IME, Brazil) <\/td><\/tr> Adaptive Disaster-FD: An Energy-Aware Query-Response Failure Detector with Dynamic Impact Factors for IoT Disaster Monitoring<\/td> | 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\u00e9, France) <\/td><\/tr> Understanding the Impact of Proposer Location in Geo-Distributed BFT Consensus<\/td> | Lucca Cezar (PUCRS, Brazil) | Fernando Lu\u00eds Dotti (PUCRS, Brazil) Fernando Pedone (University of Lugano, Switzerland) <\/td><\/tr> Exploring Adaptive Byzantine Quorum Systems to Improve Latency in the WAN<\/td> | Linus Gnan (FAU Erlangen, Germany) | R\u00fcdiger Kapitza (FAU Erlangen, Germany) Christian Berger (FAU Erlangen, Germany) <\/td><\/tr> Cross-Tool Poisoning in Model Context Protocol Servers: An Empirical Security Evaluation<\/td> | Gabriel Lima (FATEC Americana, Brazil) | Felipe Mitsunori Uehara (FATEC Americana, Brazil) Jo\u00e3o Emmanuel D Alkmin Neves (FATEC Americana, Brazil) <\/td><\/tr> How Much Architecture Is Enough? A Controlled Ablation of Hybrid CNN-ECA-Transformer Models for Intrusion Detection in HTTPS Traffic<\/td> | Edson Barbosa de Souza (IME, Brazil) | Paulo C\u00e9sar Pellanda (IME, Brazil) Ronaldo Moreira Salles (IME, Brazil) <\/td><\/tr> Adapting the PASTA Threat Modeling Process to Scientific Software Repositories<\/td> | Maria Fiori (UNICAMP, Brazil) | Breno Bernard Nicolau de Fran\u00e7a (UNICAMP, Brazil) Jos\u00e9 Alexandre D’Abruzzo Pereira (University of Coimbra, Portugal) <\/td><\/tr> Impact-VCube-D: A Distributed Impact-Aware Dynamic Reorganization Mechanism for VCube Failure Detection<\/td> | Luiz Antonio Rodrigues (UNIOESTE, Brazil) | Anubis Graciela de Moraes Rossetto (UPF, Brazil) Paulo Coelho (UFU, Brazil) Luciana Arantes (Sorbonne Universit\u00e9, France) Pierre Sens (LIP6, France) Elias P. Duarte Jr. (UFPR, Brazil) <\/td><\/tr> Assessing Robustness and Generalization in Intrusion Detection: A Multi-Dataset Study Beyond Metric Saturation<\/td> | Hugo Sales (IME, Brazil) | Jo\u00e3o Gomes de Medeiros Neto (IME, Brazil) Anderson Fernandes Pereira dos Santos (IME, Brazil) Ronaldo R. Goldschmidt (IME, Brazil) <\/td><\/tr> A Comparative Evaluation of Machine Learning Models for Dependable Acoustic Fault Diagnosis in Internal Combustion Engines<\/td> | Val\u00e9ria Silva Santos (UFAL, Brazil) | Mirelly Fontes (UFAL, Brazil) Breno Santos (UFRN, Brazil) Marianne Batista Diniz da Silva (UFAL, Brazil) <\/td><\/tr> Anonymous Communication over Federated Networks: A Gossip-Based Dissemination Protocol<\/td> | Vinicius Stocker (UTFPR, Brazil) | Edson Tavares de Camargo (UTFPR, Brazil) Luis Carlos Erpen De Bona (UFPR, Brazil) <\/td><\/tr> An SPN-Based Approach for Availability Evaluation and Cost Estimation in Private-Cloud IoMT Architectures<\/td> | Thiago Valentim Bezerra (IFPE, Brazil) | Cleunio Fran\u00e7a Filho (UFPE, Brazil) Naghmeh Ivaki (University of Coimbra, Portugal) Gustavo Rau de Almeida Callou (UFRPE, Brazil) Eduardo Antonio Guimaraes Tavares (UFPE, Brazil)<\/td><\/tr> Environment Matters: Rethinking IDS Evaluation with Cross-Environment Analysis<\/td> | Gustavo Bernardo (UFU, Brazil) | Elaine Faria (UFU, Brazil) Rodrigo Miani (UFU, Brazil) <\/td><\/tr> AI-Driven Predictive Maintenance for Safety-Critical Infrastructure: An Integrated Architecture for Dependable Railway Operation<\/td> | Osvaldo M. dos Santos Neto (UPE, Brazil) | Tarcisio Jos\u00e9 Rolim Filho (UPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, Brazil) <\/td><\/tr> Verifying Linearizability in Composed State Machine Replication<\/td> | Carlos Dias Neto (UFSC, Brazil) | Odorico M. Mendizabal (UFSC, Brazil) <\/td><\/tr> Performability Importance Analysis Framework for Architectural Decision in Distributed Systems<\/td> | Renato Rodrigues (UFRPE, Brazil) | Gustavo Rau de Almeida Callou (UFRPE, Brazil) <\/td><\/tr> Towards Dependable Acoustic Fault Diagnosis through Multi-Stage Feature Selection<\/td> | Elysa F Santos (UFAL, Brazil) | Eduardo Marques (UFAL, Brazil) Breno Santos (UFRN, Brazil) Marianne Batista Diniz da Silva (UFAL, Brazil) <\/td><\/tr> Preimage-Guided Bit-Precise Verification of Fixed-Point Quantized Neural Networks<\/td> | Jo\u00e3o 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) <\/td><\/tr> QualDataBug: A Bug Report Dataset for Software Reliability Engineering<\/td> | Tasfia Tasnim (UT Dallas, USA) | Rrezarta Krasniqi (UNC Charlotte, USA) Marco Vieira (UNC Charlotte, USA)<\/td><\/tr> Analyzing the Energy Consumption of Cryptographic Schemes in Energy-Harvesting LoRaWAN Networks<\/td> | Vandirleya Barbosa (UFPI, Brazil) | Gustavo Rau de Almeida Callou (UFRPE, Brazil) Francisco Airton Silva (UFPI, Brazil) <\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n <\/div>\n\n\n\n Industry Track<\/h3>\n\n\n\n
|