Info
This is a preliminary program, and changes may still be made.
- Are you an author? Check out the duration of your presentation here.
Program Overview
| Tuesday (Nov 24) | Wednesday (Nov 25) | Thursday (Nov 26) | Friday (Nov 27) | |
|---|---|---|---|---|
| 08:00 – 08:30 | Registration | Registration | Registration | |
| 08:30 – 10:30 | Student Forum | TS1 | TS4 | CE-TF Meeting |
| 10:30 – 11:00 | Coffe Break | Coffe Break | Coffe Break | Coffe Break |
| 11:00 -12:30 | Keynote 1: Ricardo Moraes | Keynote 3: Marcus Völp | Keynote 5: Richard West | TS6 & Award Ceremony |
| 12:30 – 13:30 | Lunch Break | Lunch Break | Lunch Break | |
| 13:30 – 15:30 | Student Forum | TS2 | TS5 | |
| 15:30 – 16:00 | Coffe Break | Coffe Break | Coffe Break | |
| 16:00 – 17:00 | Keynote 2: Antonio Fröhlich | Keynote 4: Raimundo Macêdo | Keynote 6: Long Wang | |
| 17:00 – 18:30 | Industry Track | TS3 | Fast Abstracts | |
| 19:30 – 21:00 | Opening Ceremony |
Legend
- TS#: Technical Session #
Presentation Duration by Track
| Track | Presentation Duration per Paper |
|---|---|
| Main Track | 20 min + 5 min for questions |
| Student Forum | 15 min + 5 min for questions |
| Industry Track | 10 min + 5 min for questions |
| Fast Abstracts | 10 min + 5 min for questions |
Note: In all technical sessions, papers must be presented in English.
Detailed program (by day)
Tuesday (Nov 24) – Industry Day
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Student Forum Room: LADC (Sala dos Conselhos) Chair: Gustavo Callou | 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) |
| 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) | ||
| 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) | ||
| Synthetic HTTP Traffic Generation with Controlled Drift Tobias Iroa (UDELAR, Uruguay) Gustavo Betarte (UDELAR, Uruguay) Rodrigo Martínez (UDELAR, Uruguay) | ||
| 10:30 – 11:00 | Coffe Break | |
| 11:00 -12:10 | Keynote 1 Room: Auditorium | Ricardo Moraes (Embraer, Brazil) Rethinking Aircraft Systems Engineering in the Era of Cyber Threats |
| 12:10 – 13:30 | Lunch Break | |
| 13:30 – 15:30 | Student Forum Room: LADC (Sala dos Conselhos) Chair: Gustavo Callou | Custodia: Separating Control, Delegation, and Evidence in Encrypted Data Sharing Marcos Aurelio Costa de Oliveira (UEL, Brazil) Bruno Bogaz Zarpelão (UEL, 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) | ||
| 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) | ||
| 15:30 – 16:00 | Coffe Break | |
| 16:00 – 17:00 | Keynote 2 Room: Auditorium | Antonio Augusto Fröhlich (UFSC, Brazil) Safety in Physical AI: an Operating Systems Perspective |
| 17:00 – 18:30 | Industry Track Room: LADC (Sala dos Conselhos) | 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) | ||
| 18:30 – 21:00 | Opening Ceremony Room: Auditorium | |
Wednesday (Nov 25)
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Technical Session 1: Fault-Tolerant Distributed Systems: Consensus, Replication, and Recovery Room: LADC (Sala dos Conselhos) | 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) |
| Verifying Linearizability in Composed State Machine Replication Carlos Dias Neto (UFSC, Brazil) Odorico M. Mendizabal (UFSC, Brazil) | ||
| 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) | ||
| 10:30 – 11:00 | Coffe Break | |
| 11:00 -12:10 | Keynote 3 Room: Auditorium | Marcus Völp (University of Luxembourg, Luxembourg) How to Construct Dependable Operating Systems and the Hardware It Should Run On |
| 12:10 – 13:30 | Lunch Break | |
| 13:30 – 15:30 | Technical Session 2 Intrusion Detection: Robustness, Architecture, and Realistic Evaluation Room: LADC (Sala dos Conselhos) | 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) |
| 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) | ||
| 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) | ||
| Environment Matters: Rethinking IDS Evaluation with Cross-Environment Analysis Gustavo Bernardo (UFU, Brazil) Elaine Faria (UFU, Brazil) Rodrigo Miani (UFU, Brazil) | ||
| 15:30 – 16:00 | Coffe Break | |
| 16:00 – 17:00 | Keynote 4 Room: Auditorium | Raimundo J. de Macêdo (UFBA, Brazil) When Are Failures Observable? System Models, Fault Models, and the Limits of Dependable Distributed Computing |
| 17:00 – 18:30 | Technical Session 3 Dependability in Critical Infrastructures: Failure Detection, Predictive Maintenance, and Availability Room: LADC (Sala dos Conselhos) | 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) |
| 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) | ||
| 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) | ||
Thursday (Nov 26)
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Technical Session 4 Security and Privacy in Modern Systems Room: LADC (Sala dos Conselhos) | 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) |
| 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) | ||
| 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) | ||
| 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) | ||
| 10:30 – 11:00 | Coffe Break | |
| 11:00 -12:10 | Keynote 5 Room: Auditorium | Richard West (Boston University, USA) DriveOS: A Single ECU Software-Defined Vehicle Management System |
| 12:10 – 13:30 | Lunch Break | |
| 13:30 – 15:30 | Technical Session 5 Dependability Models, Verification, and Software Assurance Room: LADC (Sala dos Conselhos) | Performability Importance Analysis Framework for Architectural Decision in Distributed Systems Renato Rodrigues (UFRPE, Brazil) Gustavo Rau de Almeida Callou (UFRPE, 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) | ||
| 15:30 – 16:00 | Coffe Break | |
| 16:00 – 17:00 | Keynote 6 Room: Auditorium | Long Wang (Tsinghua University, China) From Fault Injection to Directed Fuzzing: Making Dependability and Security Testing More Intelligent |
| 17:00 – 18:30 | Fast Abstracts Room: LADC (Sala dos Conselhos) | 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) | ||
Friday (Nov 27)
| 08:30 – 10:30 | CE-TF Meeting | |
| 10:30 – 11:00 | Coffe Break | |
| 11:00 – 12:30 | Technical Session 6 Consensus and Failure Detection (Best-paper Candidates) & Award Ceremony Room: LADC (Sala dos Conselhos) | 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) |
| 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) | ||