Info
In this edition, the event will take place at two locations. The first day (Monday, October 27) will be held at UNAB (Universidad Andrés Bello). The remaining days of the event will take place at IBC (Edificio Isabel Brown Caces), which is located at the Pontificia Universidad Católica de Valparaíso (PUCV).
Program Overview
| UNAB | IBC/PUCV | ||||
|---|---|---|---|---|---|
| Monday (Oct 27) | Tuesday (Oct 28) | Wednesday (Oct 29) | Thursday (Oct 30) | Friday (Oct 31) | |
| 09:00 – 09:30 | Registration | TS3 | TS5 | SF | |
| 09:30 – 10:00 | (CLEI) Opening Session | ||||
| 10:00 – 10:30 | FA | ||||
| 10:30 – 11:00 | Welcome Cocktail | Coffee Break | Coffee Break | Coffee Break | Wine tasting at a vineyard in Casablanca (TBC) |
| 11:00 – 11:30 | (CLEI) Keynote 1 | TS4 | TS6 | Keynote 3: Sponsor | |
| 11:30 – 12:00 | |||||
| 12:00 – 12:30 | Lunch Break | (CLEI) Keynote 2 | (CLEI) Keynote 3 | (CLEI) Keynote 4 | |
| 12:30 – 13:00 | |||||
| 13:00 – 13:30 | Lunch Break | Lunch Break | Lunch Break | Buffet lunch at Rio Tinto Casablanca | |
| 13:30 – 14:00 | TS1 | ||||
| 14:00 – 14:30 | |||||
| 14:30 – 15:00 | Keynote 1: Henrique Madeira | Keynote 2: Cristina Meinhardt | Keynote 4: Pierre Sutra | ||
| 15:00 – 15:30 | |||||
| 15:30 – 16:00 | LABlock | LABlock | IT | ||
| 16:00 – 16:30 | Coffee Break | Coffee Break | Coffee Break | Coffee Break | |
| 16:30 – 17:00 | TS2 | LABlock | LABlock | IT | |
| 17:30 – 18:00 | CETF Meeting | ||||
| 18:00 – 18:30 | |||||
Legend
- TS#: Technical Session #
- SF: Student Forum
- FA: Fast Abstracts
- IT: Industry Track
- LABlock: First Latin American Workshop on Blockchain
- TBA: To be announced
Detailed Program (by day)
Monday (Oct 27)
Location: UNAB
| 09:00 – 09:30 | Registration | |
| 09:30 – 10:00 | (CLEI) Opening Session Room: TBA | |
| 10:00 – 10:30 | ||
| 10:30 – 11:00 | Welcome Cocktail | |
| 11:00 – 11:30 | (CLEI) Keynote 1 Room: TBA | Gabriel A. Wainer (University of Carleton, Canada) Simulation Everywhere |
| 11:30 – 12:00 | ||
| 12:00 – 12:30 | Lunch Break | |
| 12:30 – 13:00 | ||
| 13:00 – 13:30 | ||
| 13:30 – 16:00 | Technical Session 1: Security Foundations and Compliance Room: TBA Chair: TBA | Applying DevSecOps Approach in Legacy Computing Infrastructures: A Case Study in Public Sector of Brazil João Carlos da Cruz de Lima (UFC, Brasil) Francisco Ramon Martins Campos (UFC, Brasil) Rafael Lopes Gomes (Uece, Brasil) Emanuel B. Rodrigues (UFC, Brasil) Rossana M. de C. Andrade (UFC, Brasil) Clenival Silva (SEPLAG, Brasil) Daniel C Bentes Alexandre S. Cialdini (SEPLAG, Brasil) |
| SPIRE-Based Remote Attestation for Secure VPN Access Davi Pontes (UFCG, Brasil) Andrey Brito (UFCG, Brasil) | ||
| Towards a Minimum Security Baseline for Cyber-Physical Systems through Security Standards Harmonization Henrique Fonseca (Faculdade de Tecnologia – UNICAMP, Brasil) Regina Lúcia de Oliveira Moraes (UNICAMP, Brasil) João R. Campos (University of Coimbra, Portugal) | ||
| Towards LGPD Compliance: Analysis and Support to Prepare your Computing Environment Aldrey Villas Boas Pedrazoli (Faculdade de Tecnologia – UNICAMP, Brasil) Naghmeh Ramezani Ivaki (University of Coimbra, Portugal) Regina Lúcia de Oliveira Moraes (UNICAMP, Brasil) | ||
| 16:00 – 16:30 | Coffee Break | |
| 16:30 – 18:00 | Technical Session 2: AI for Security and Dependability Room: TBA Chair: TBA | An Empirical Study of Large Language Models as Experts in Software Trustworthiness Assessment Saeed Javanijanloo (University of Coimbra, Portugal) José Alexandre D’Abruzzo Pereira (University of Coimbra, Portugal) Marco Vieira (University of North Carolina at Charlotte, EUA) |
| FlowMon: A Workflow-Driven Visual Tool for Automated Monitoring Script Generation Eduardo Lima (UFS, Brasil) Igor Vanderlei Jean Carlos Teixeira de Araujo (Universidade Federal do Agreste de Pernambuco, Brasil) | ||
| Reasoning Over Vulnerabilities via LogiSec of Thoughts: A Reductio Ad Absurdum-Based LLM Framework Claudio Lelis (ITA, Brasil) Cesar Marcondes (ITA, Brasil) Kevin Fealey (AppSecure, EUA) | ||
Tuesday (Oct 28)
Location: IBC/PUCV
| 09:00 – 10:30 | Technical Session 3: Consensus, Cryptography, and Blockchain Room: TBA Chair: TBA | A Blockchain-Based Architecture for Communication Between Spectrum Access Systems Alan Veloso (UFPA, Brasil) Jeffson Celeiro Sousa (Fundação CPqD, Brasil) Diego Medeiros de Abreu (UFPA, Brasil) Antônio Jorge Gomes Abelém (UFPA, Brasil) |
| Byzantine Consensus with Secure and Intrusion-Tolerant In-Network Ordering Gabriel Faustino Lima da Rocha Eduardo Alchieri (UnB, Brasil) Giovanni Venâncio (UFPR, Brasil) Vinicius Fulber-Garcia (UFPR, Brasil) Elias P. Duarte Jr. (UFPR, Brasil) | ||
| Thetacrypt: A Distributed Service for Threshold Cryptography Mariarosaria Barbaraci (UniBe, Suíça) Michael Senn (University of Bern, Suíça) Noah Schmid Orestis Alpos Christian Cachin (University of Bern, Suíça) | ||
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:00 | Technical Session 4: Modeling and Dependability Evaluation Room: TBA Chair: TBA | A Practical TLA+ Library for Designing and Verifying Distributed Systems Diogo Canut F. Peixoto (UFSC, Brasil) Odorico M. Mendizabal (UFSC, Brasil) |
| Long-Term Experimental Evaluation of Software Aging Effects in NoSQL Database Paulo Amaral (IFS, Brasil) Jean Carlos Teixeira de Araujo (Universidade Federal do Agreste de Pernambuco, Brasil) | ||
| 12:00 – 13:00 | (CLEI) Keynote 2 Room: TBA | Ricardo Baeza-Yates (Northeastern University, USA) Responsible AI |
| 13:00 – 14:30 | Lunch Break | |
| 14:30 – 15:30 | LADC Keynote 1 Room: TBA | Henrique Madeira (University of Coimbra, Portugal) Tales of Dependability and Software Reliability in the Age of AI Vibes |
| 15:30 – 16:00 | LABlock: Technical Session 1 Room: TBA | TBA |
| 16:00 – 16:30 | Coffee Break | |
| 16:30 – 18:00 | LABlock: Technical Session 2 Room: TBA | TBA |
Wednesday (Oct 29)
Location: IBC/PUCV
| 09:00 – 10:30 | Technical Session 5: Advances in Dependable and Secure Computing (Best Paper Candidates) Room: TBA Chair: TBA | Addressing Cryptographic Overheads in Low-Latency File Systems through Ahead-of-Time Encryption Jorge Correia (UFPR, Brasil) Wagner Machado Nunan Zola (UFPR, Brasil) |
| Evaluating eBPF as an Alternative to Virtual Machine Introspection for High-Interaction Honeypot Implementation Niku Waltteri Saulinpoika Nuutinen Miguel Faísco Milan Petrusic (Reykjavik University, Islândia) Ibéria Medeiros (FCUL, Portugal) Hans P. Reiser (Reykjavik University, Islândia) | ||
| Source Code Vulnerability Detection and Interpretability with Language Models Leonardo Silveira (ITA, Brasil) Claudio Lelis (ITA, Brasil) Cesar A. Marcondes (ITA, Brasil) Filipe Alves Neto Verri (Instituto Tecnológico de Aeronáutica – ITA, Brasil) | ||
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:00 | Technical Session 6: Monitoring and Critical Infrastructures Room: TBA Chair: TBA | Impact of Image Resolution on Drone Surveillance System Availability: A Stochastic Petri Net Approach Ivson Borges (UFPE, Brasil) Luan Lins Gustavo Rau de Almeida Callou (UFRPE, Brasil) Paulo Romero Martins Maciel (UFPE, Brasil) |
| Modeling the Availability of Distributed Monitoring Systems in Public Transport: A Fog-Edge Approach for BRT Stations Raquel Trajano (UFPE, Brasil) Jamilson Ramalho (UFPE, Brasil) Carlos Alexandre Silva de Melo (UFPE, Brasil) | ||
| 12:00 – 13:00 | (CLEI) Keynote 3 Room: TBA | Ana Belén Ruiz (Universidad de Málaga, Spain) Metaheristics for Multiobjective Optimization: Introducing the Decision Maker in the Process |
| 13:00 – 14:30 | Lunch Break | |
| 14:30 – 15:30 | LADC Keynote 2 Room: TBA | Cristina Meinhardt (Federal University of Santa Catarina, Brazil) The Nanoscale Reliability Challenge: Designing Robust Systems from Unreliable Components |
| 15:30 – 16:00 | LABlock: Technical Session 3 Room: TBA | TBA |
| 16:00 – 16:30 | Coffee Break | |
| 16:30 – 18:30 | LABlock: Technical Session 4 Room: TBA | TBA |
Thursday (Oct 30)
Location: IBC/PUCV
| 09:00 – 10:00 | Student Forum Room: TBA Chair: Rafael Obelheiro | Improving Safety in Industry 4.0 using an IoT-Helmet Evellin Moura (UECE, Brazil) Mozar Braga (UECE, Brazil) Rafael Lopes Gomes (UECE, Brazil) |
| Service Level Agreements Compliance in 5G Network Slicing: An Analysis of Resource Allocation Strategies Wanderson Costa (IFPI, Brazil) Rafael Lopes Gomes (UECE, Brazil) | ||
| Forecasting-Oriented Management of Software-Defined Fabric Environments Ariel Portela (UECE, Brazil) Maria Clara Ferreira (UECE, Brazil) Rafael Lopes Gomes (UECE, Brazil) | ||
| Towards Hierarchical Byzantine Distributed Replication Gabriela Stein (UFPR, Brazil) Luiz Antonio Rodrigues (UNIOESTE, Brazil) Elias P. Duarte Jr. (UFPR, Brazil) | ||
| 10:00 – 10:30 | Fast Abstracts Room: TBA Chair: TBA | A DAG-Based Post-Quantum Ledger Allan Edgard Silva Freitas (IFBA, Brazil) |
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:00 | LADC Keynote 3 (Sponsor) Room: TBA | TBA |
| 12:00 – 13:00 | (CLEI) Keynote 3 Room: TBA | Ana Belén Ruiz (Universidad de Málaga, Spain) Metaheristics for Multiobjective Optimization: Introducing the Decision Maker in the Process |
| 13:00 – 14:30 | Lunch Break | |
| 14:30 – 15:30 | LADC Keynote 4 Room: TBA | Pierre Sutra (Télécom SudParis, France) Modern Techniques for Data Availability and Durability |
| 15:30 – 16:00 | Industry Track: Technical Session 1 Chair: Lasaro Camargos Room: TBA | Malware Detection in Windows Operating Systems using AI and In-Memory Process Analysis Jessica Patricio (UECE, Brazil) Carlos Paiva (UECE, Brazil) Renan Lima Vanessa Carvalho Rafael Lopes Gomes (UECE, Brazil) |
| 16:00 – 16:30 | Coffee Break | |
| 16:30 – 17:00 | Industry Track: Technical Session 2 Chair: Lasaro Camargos Room: TBA | Risk Classification of IP Addresses Using Machine Learning with Weighted Voting Approach Francisco Nobre (UECE, Brazil) Davi Oliveira (UECE, Brazil) Ramon Araújo (UECE, Brazil) Gustavo Campos (UECE, Brazil) Rafael Lopes Gomes (UECE, Brazil) |
| 17:00 – 17:30 | CETF Meeting Room: TBA | |
Friday (Oct 31)
TBA