Info
This is a preliminary program, and changes may still be made.
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 | |
| 18:30 – 19:10 | Opening Ceremony |
Legend
- TS#: Technical Session #
Detailed program (by day)
Tuesday (Nov 24) – Industry Day
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Student Forum Room: TBA | |
| 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 | Industry Track Room: TBA | 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) | ||
| 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 | Fast Abstracts Room: TBA | 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) | ||
| 18:30 – 19:10 | Opening Ceremony | |
Wednesday (Nov 25)
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Technical Session 1: Fault-Tolerant Distributed Systems: Consensus, Replication, and Failure Detection Room: TBA | 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) | ||
| 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) | ||
| 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: TBA | 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 AI for Fault Diagnosis and Predictive Maintenance Room: TBA | 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) |
| 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) | ||
| 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) | ||
Thursday (Nov 26)
| 08:00 – 08:30 | Registration | |
| 08:30 – 10:30 | Technical Session 4 Security and Privacy in Modern Systems Room: TBA | 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 | Rich 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: TBA | 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) |
| 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:00 | Technical Session 6 Consensus and Failure Detection (Best-paper Candidates) Room: TBA | 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) | ||
| 18:15 – 18:45 | Award Ceremony | |
Thursday (Nov 26)
| 08:30 – 10:30 | CE-TF Meeting | |
| 10:30 – 11:00 | Coffe Break | |
| 11:00 – 11:30 | LADC 2027 and Goodbye | |