{"id":4845,"date":"2025-09-19T08:56:30","date_gmt":"2025-09-19T11:56:30","guid":{"rendered":"https:\/\/ladc.sbc.org.br\/2026\/?page_id=4845"},"modified":"2026-10-15T17:15:48","modified_gmt":"2026-10-15T20:15:48","slug":"program","status":"publish","type":"page","link":"https:\/\/ladc.sbc.org.br\/2026\/program\/","title":{"rendered":"Preliminary Program"},"content":{"rendered":"\n
\n
\n

Info<\/strong><\/h3>\n\n\n\n
\n\n\n\n

This is a preliminary program, and changes may still be made.<\/h4>\n<\/div>\n<\/div>\n\n\n\n
<\/div>\n\n\n\n

Program Overview<\/h1>\n\n\n\n
<\/th>Tuesday
(Nov 24)<\/th>		Wednesday
(Nov 25)<\/th>		Thursday
(Nov 26)<\/th>		Friday
(Nov 27)<\/th><\/tr><\/thead>
08:00 – 08:30<\/td>Registration<\/td>Registration<\/td>Registration<\/td><\/td><\/tr>
08:30 – 10:30<\/td>Student Forum<\/td>TS1<\/td>TS4<\/td>CE-TF Meeting<\/td><\/tr>
10:30 – 11:00<\/td>Coffe Break<\/td>Coffe Break<\/td>Coffe Break<\/td>Coffe Break<\/td><\/tr>
11:00 -12:30<\/td>Keynote 1: Ricardo Moraes<\/td>Keynote 3: Marcus V\u00f6lp<\/td>Keynote 5: Richard West<\/td>TS6 & Award Ceremony<\/td><\/tr>
12:30 – 13:30<\/td>Lunch Break<\/td>Lunch Break<\/td>Lunch Break<\/td><\/td><\/tr>
13:30 – 15:30<\/td>Student Forum<\/td>TS2<\/td>TS5<\/td><\/td><\/tr>
15:30 – 16:00<\/td>Coffe Break<\/td>Coffe Break<\/td>Coffe Break<\/td><\/td><\/tr>
16:00 – 17:00<\/td>Keynote 2: Antonio Fr\u00f6hlich<\/td>Keynote 4: Raimundo Mac\u00eado<\/td>Keynote 6: Long Wang<\/td><\/td><\/tr>
17:00 – 18:30<\/td>Industry Track<\/td>TS3<\/td>Fast Abstracts<\/td><\/td><\/tr>
18:30 – 19:10<\/td>Opening Ceremony<\/td><\/td><\/td><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Legend<\/strong><\/p>\n\n\n\n

    \n
  • TS#: Technical Session #<\/li>\n<\/ul>\n\n\n\n

    Detailed program (by day)<\/h1>\n\n\n\n

    Tuesday (Nov 24) – Industry Day<\/h2>\n\n\n\n
    08:00 – 08:30<\/td>Registration<\/strong><\/td><\/tr>
    08:30 – 10:30<\/td>Student Forum<\/strong>
    Room:<\/strong> TBA<\/td>    		<\/td><\/tr>
    10:30 – 11:00<\/td>Coffe Break<\/td><\/tr>
    11:00 -12:10<\/td>Keynote 1<\/strong>
    Room:<\/strong> Auditorium<\/td>    		Ricardo Moraes (Embraer, Brazil)<\/strong>

    Rethinking Aircraft Systems Engineering in the Era of Cyber Threats<\/td><\/tr>
    12:10 – 13:30<\/td>Lunch Break<\/td><\/tr>
    13:30 – 15:30<\/td>Industry Track<\/strong>
    Room:<\/strong> TBA<\/td>    		Autonomous Pentesting via MCP: Evaluating the Syntactic and Operational Effectiveness of Frontier vs. Open-Weight LLMs with Hexstrike<\/strong>

    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)<\/td><\/tr>
    Case Study: From Classical to Post-Quantum Cryptography in Android Mobile Devices<\/strong>

    Janislley Oliveira de Sousa (SIDIA, Brazil)
    Cristiano Goes (SIDIA, Brazil)
    David Ferreira (SIDIA, Brazil)
    Ewerton Andrade (SIDIA, Brazil)<\/td><\/tr>
    GNN-Based SLA Assurance Service for Internet Service Providers<\/strong>

    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)<\/td><\/tr>
    Post-Quantum Cryptography on ARM TEEs: Lessons Learned from Embedding it into OP-TEE<\/strong>

    Ewerton Andrade (SIDIA, Brazil)
    Janislley Oliveira de Sousa (SIDIA, Brazil)
    Cristiano Goes (SIDIA, Brazil)<\/td><\/tr>
    An Integrated Open-Source Framework for Cyber Incident Response<\/strong>

    Thays Carvalho (CISSA, Brazil)
    Carlos Roberto Gon\u00e7alves Viana Filho (CESAR School, Brazil)
    Fernando Antonio Aires Lins (UFRPE, Brazil)
    Milton Lima (CESAR, Brazil)<\/td><\/tr>
    15:30 – 16:00<\/td>Coffe Break<\/td><\/tr>
    16:00 – 17:00<\/td>Keynote 2<\/strong>
    Room:<\/strong> Auditorium<\/td>    		Antonio Augusto Fr\u00f6hlich (UFSC, Brazil)<\/strong>

    Safety in Physical AI: an Operating Systems Perspective<\/td><\/tr>
    17:00 – 18:30<\/td>Fast Abstracts<\/strong>
    Room:<\/strong> TBA<\/td>    		The MTD Problem: The \u201cWhy\u201d Also Matters<\/strong>

    Guilherme Eduardo Gon\u00e7alves da Silva (UFPR, Brazil)
    Jo\u00e3o Andreotti (UFPR, Brazil)
    Vin\u00edcius F\u00fclber Garcia (UFPR, Brazil)<\/td><\/tr>
    An Approach for Governance, Security and Traceability of RAG-Based Conversational AI Assistants<\/strong>

    Caroline Miranda Pereira Lima (CPQD, Brazil)
    Javier Martinez Silva (CPQD, Brazil)
    Alexandre Melo Braga (CPQD, Brazil)<\/td><\/tr>
    Assessing Knowledge and Relational Responses Toward Software Reliability<\/strong>

    Caio Augusto Rodrigues dos Santos (IFSP, Brazil)
    Alexandre Beletti Ferreira (IFSP, Brazil)<\/td><\/tr>
    A Dependable Risk-Aware Architecture for Environmental IoT Monitoring<\/strong>

    Messias Bittencourt Figueiredo (UFBA, Brazil)
    Raimundo Jos\u00e9 de Araujo Macedo (UFBA, Brazil)<\/td><\/tr>
    Null-Pointer Deallocations in Embedded Applications<\/strong>

    Alexandre Beletti Ferreira (IFSP, Brazil)
    Caio Augusto Rodrigues dos Santos (UFU, Brazil)
    Erik Jonatan Martins Viana (IFSP, Brazil)<\/td><\/tr>
    18:30 – 19:10<\/td>Opening Ceremony<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
    <\/div>\n\n\n\n

    Wednesday (Nov 25)<\/h2>\n\n\n\n
    08:00 – 08:30<\/td>Registration<\/strong><\/td><\/tr>
    08:30 – 10:30<\/td>Technical Session 1:
    Fault-Tolerant Distributed Systems: Consensus,
    Replication, and Failure Detection<\/strong>

    Room: TBA<\/td>    		Understanding the Impact of Proposer Location in Geo-Distributed BFT Consensus<\/strong>

    Lucca Cezar (PUCRS, Brazil)
    Fernando Lu\u00eds Dotti (PUCRS, Brazil)
    Fernando Pedone (University of Lugano, Switzerland)<\/td><\/tr>
    Verifying Linearizability in Composed State Machine Replication<\/strong>

    Carlos Dias Neto (UFSC, Brazil)
    Odorico M. Mendizabal (UFSC, Brazil)<\/td><\/tr>
    A Checkpoint\/Restore Service for Kubernetes Stateful Containers<\/strong>

    Rodrigo H. M\u00fcller (UFSC, Brazil)
    Marcus Vinicius Ribeiro Silveira (UFSC, Brazil)
    Cristina Meinhardt (UFSC, Brazil)
    Odorico M. Mendizabal (UFSC, Brazil)<\/td><\/tr>
    Adaptive Disaster-FD: An Energy-Aware Query-Response Failure Detector with Dynamic Impact Factors for IoT Disaster Monitoring<\/strong>

    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>
    10:30 – 11:00<\/td>Coffe Break<\/td><\/td><\/tr>
    11:00 -12:10<\/td>Keynote 3<\/strong>
    Room: Auditorium<\/td>    		Marcus V\u00f6lp (University of Luxembourg, Luxembourg)<\/strong>

    How to Construct Dependable Operating Systems and the Hardware It Should Run On<\/td><\/tr>
    12:10 – 13:30<\/td>Lunch Break<\/td><\/tr>
    13:30 – 15:30<\/td>Technical Session 2
    Intrusion Detection: Robustness, Architecture, and
    Realistic Evaluation<\/strong>

    Room: TBA<\/td>    		Robustness-Cost Trade-offs of Adversarial Training for Network Intrusion Detection: An Empirical Comparison of FGSM and PGD<\/strong>

    Edson Barbosa de Souza (IME, Brazil)
    Paulo C\u00e9sar Pellanda (IME, Brazil)
    Ronaldo Moreira Salles (IME, Brazil)<\/td><\/tr>
    How Much Architecture Is Enough? A Controlled Ablation of Hybrid CNN-ECA-Transformer Models for Intrusion Detection in HTTPS Traffic<\/strong>

    Edson Barbosa de Souza (IME,\u00a0Brazil)
    Paulo C\u00e9sar Pellanda (IME,\u00a0Brazil)
    Ronaldo Moreira Salles (IME,\u00a0Brazil)<\/td><\/tr>
    Assessing Robustness and Generalization in Intrusion Detection: A Multi-Dataset Study Beyond Metric Saturation<\/strong>

    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>
    Environment Matters: Rethinking IDS Evaluation with Cross-Environment Analysis<\/strong>

    Gustavo Bernardo (UFU, Brazil)
    Elaine Faria (UFU, Brazil)
    Rodrigo Miani (UFU, Brazil)<\/td><\/tr>
    15:30 – 16:00<\/td>Coffe Break<\/td><\/tr>
    16:00 – 17:00<\/td>Keynote 4<\/strong>
    Room: Auditorium<\/td>    		Raimundo J. de Mac\u00eado (UFBA, Brazil)<\/strong>

    When Are Failures Observable? System Models, Fault Models, and the Limits of Dependable Distributed Computing<\/td><\/tr>
    17:00 – 18:30<\/td>Technical Session 3
    AI for Fault Diagnosis and Predictive Maintenance<\/strong>

    Room: TBA<\/td>    		A Comparative Evaluation of Machine Learning Models for Dependable Acoustic Fault Diagnosis in Internal Combustion Engines<\/strong>

    Val\u00e9ria Silva Santos (UFAL, Brazil)
    Mirelly Fontes (UFAL, Brazil)
    Breno Santos (UFRN, Brazil)
    Marianne Batista Diniz da Silva (UFAL, Brazil)<\/td><\/tr>
    Towards Dependable Acoustic Fault Diagnosis through Multi-Stage Feature Selection<\/strong>

    Elysa F Santos (UFAL, Brazil)
    Eduardo Marques (UFAL, Brazil)
    Breno Santos (UFRN, Brazil)
    Marianne Batista Diniz da Silva (UFAL, Brazil)<\/td><\/tr>
    AI-Driven Predictive Maintenance for Safety-Critical Infrastructure: An Integrated Architecture for Dependable Railway Operation<\/strong>

    Osvaldo M. dos Santos Neto (UPE, Brazil)
    Tarcisio Jos\u00e9 Rolim Filho (UPE, Brazil)
    Gustavo Rau de Almeida Callou (UFRPE, Brazil)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
    <\/div>\n\n\n\n

    Thursday (Nov 26)<\/h2>\n\n\n\n
    08:00 – 08:30<\/td>Registration<\/strong><\/td><\/tr>
    08:30 – 10:30<\/td>Technical Session 4
    Security and Privacy in Modern Systems<\/strong>

    Room: TBA<\/td>    		Cross-Tool Poisoning in Model Context Protocol Servers: An Empirical Security Evaluation<\/strong>

    Gabriel Lima (FATEC Americana, Brazil)
    Felipe Mitsunori Uehara (FATEC Americana, Brazil)
    Jo\u00e3o Emmanuel D Alkmin Neves (FATEC Americana, Brazil)<\/td><\/tr>
    Adapting the PASTA Threat Modeling Process to Scientific Software Repositories<\/strong>

    Maria Fiori (UNICAMP, Brazil)
    Breno Bernard Nicolau de Fran\u00e7a (UNICAMP, Brazil)
    Jos\u00e9 Alexandre D\u2019Abruzzo Pereira (University of Coimbra, Portugal)<\/td><\/tr>
    Anonymous Communication over Federated Networks: A Gossip-Based Dissemination Protocol<\/strong>

    Vinicius Stocker (UTFPR, Brazil)
    Edson Tavares de Camargo (UTFPR, Brazil)
    Luis Carlos Erpen De Bona (UFPR, Brazil)<\/td><\/tr>
    Analyzing the Energy Consumption of Cryptographic Schemes in Energy-Harvesting LoRaWAN Networks<\/strong>

    Vandirleya Barbosa (UFPI, Brazil)
    Gustavo Rau de Almeida Callou (UFRPE, Brazil)
    Francisco Airton Silva (UFPI, Brazil)<\/td><\/tr>
    10:30 – 11:00<\/td>Coffe Break<\/td><\/tr>
    11:00 -12:10<\/td>Keynote 5<\/strong>
    Room: Auditorium<\/td>    		Rich West (Boston University, USA)<\/strong>

    DriveOS: A Single ECU Software-Defined Vehicle Management System<\/td><\/tr>
    12:10 – 13:30<\/td>Lunch Break<\/td><\/tr>
    13:30 – 15:30<\/td>Technical Session 5
    Dependability Models, Verification, and Software Assurance<\/strong>

    Room: TBA<\/td>    		An SPN-Based Approach for Availability Evaluation and Cost Estimation in Private-Cloud IoMT Architectures<\/strong>

    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>
    Performability Importance Analysis Framework for Architectural Decision in Distributed Systems<\/strong>

    Renato Rodrigues (UFRPE, Brazil)
    Gustavo Rau de Almeida Callou (UFRPE, Brazil)<\/td><\/tr>
    Preimage-Guided Bit-Precise Verification of Fixed-Point Quantized Neural Networks<\/strong>

    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<\/strong>

    Tasfia Tasnim (UT Dallas, USA)
    Rrezarta Krasniqi (UNC Charlotte, USA)
    Marco Vieira (UNC Charlotte, USA)<\/td><\/tr>
    15:30 – 16:00<\/td>Coffe Break<\/td><\/tr>
    16:00 – 17:00<\/td>Keynote 6<\/strong>
    Room: Auditorium<\/td>    		Long Wang (Tsinghua University, China)<\/strong>

    From Fault Injection to Directed Fuzzing: Making Dependability and Security Testing More Intelligent<\/td><\/tr>
    17:00 – 18:00<\/td>Technical Session 6
    Consensus and Failure Detection (Best-paper Candidates)<\/strong>

    Room: TBA<\/td>    		Exploring Adaptive Byzantine Quorum Systems to Improve Latency in the WAN<\/strong>

    Linus Gnan (FAU Erlangen, Germany)
    R\u00fcdiger Kapitza (FAU Erlangen, Germany)
    Christian Berger (FAU Erlangen, Germany)<\/td><\/tr>
    Impact-VCube-D: A Distributed Impact-Aware Dynamic Reorganization Mechanism for VCube Failure Detection<\/strong>

    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>
    18:15 – 18:45<\/td>Award Ceremony<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n
    <\/div>\n\n\n\n

    Thursday (Nov 26)<\/h2>\n\n\n\n
    08:30 – 10:30<\/td>CE-TF Meeting<\/strong><\/td><\/tr>
    10:30 – 11:00<\/td>Coffe Break<\/td><\/tr>
    11:00 – 11:30<\/td>LADC 2027 and Goodbye<\/strong><\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"

    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 […]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4845","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/pages\/4845","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/comments?post=4845"}],"version-history":[{"count":52,"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/pages\/4845\/revisions"}],"predecessor-version":[{"id":5194,"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/pages\/4845\/revisions\/5194"}],"wp:attachment":[{"href":"https:\/\/ladc.sbc.org.br\/2026\/wp-json\/wp\/v2\/media?parent=4845"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}