-2hrs.06:00 AM – Costa Rica + Centroamérica
-1hrs.07:00 AM – Perú + Ecuador + México + Colombia + Panamá + USA.Houston
+0hrs.08:00 AM – Bolivia + Cuba + Venezuela
+1hrs.09:00 AM – Chile + Paraguay + Brasil + Uruguay + Argentina
+6hrs.02:00 PM – España
LADC activities will be concentrated from Monday (16) to Wednesday (18), but participantes are invited to enjoy in all activities of colocated events from October 16-20.
You can access the proceedings here!
Monday (16th)
| 08:00 – 09:30 | Check-in (The shuttle buses to the Illimani Auditorium will leave from the UMSA Central Monoblock at 7:30 a.m. to Seguencoma (Illimani Auditorium) and will return at 12:30 p.m.) | |
| 09:30 – 11:00 | Opening Session (Room: ILLIMANI AUDITORIUM) | |
| 11:00 – 11:30 | Coffee-break | |
| 11:30 – 12:30 | Keynote 1 (Room: ILLIMANI AUDITORIUM) | Roberto Asín, from Bolivia-Chile |
| 12:30 – 14:00 | Return to UMSA and Interval | |
| 14:00 – 16:00 | TS1 – Cloud and networking (Room: AUDIVISUAL) Chair: Elias P. Duarte Jr. (UFPR, Brazil) | Attesting AMD SEV-SNP Virtual Machines with SPIRE Davi Pontes (UFCG – Brazil), Fernando Silva (UFCG – Brazil), Eduardo Falcão (UFRN – Brazil) and Andrey Brito (UFCG – Brazil) |
| ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN Networks João Pastório, Álvaro Ricieri Castro e Souza, Fabio Spanhol, Alexandre Huff and Edson Tavares de Camargo (UTFPR – Brazil) | ||
| Using Formal Methods for On-The-Fly Time Series Verification José Luis Hoffmann, Leonardo Horstmann and Antonio Augusto Frohlich (UFSC – Brazil) | ||
| Context-aware monitoring for IoT: an approach based on Agents, and Federated Learning Herminio Paucar Curasma and Júlio Estrella (USP – Brazil) | ||
| 16:00 – 16:30 | Coffee-break | |
| 16:30 – 18:30 | TS2 – Fault-tolerant algorithms (Room: AUDIVISUAL) Chair: Edson Camargo (UTFPR, Brazil) | Loom: A Closed-Box Disaggregated Database System Fábio Coelho, Ana Alonso, Luis Ferreira, Jose Pereira and Rui Oliveira (INESCTEC & U. Minho – Portugal) |
| Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems Gabriela Stein (Unioeste – Brazil), Luiz A. Rodrigues (Unioeste – Brazil), Elias Duarte Jr. (UFPR – Brazil) and Luciana Arantes (Sorbonne Université – France) | ||
| Efficient Synchronization of CRDTs using Vcube-PS Leonardo Galesky (Unioeste – Brazil), Luiz A. Rodrigues (Unioeste – Brazil), Elias Duarte Jr. (UFPR – Brazil) and Luciana Arantes (Sorbonne Université – France) | ||
| On Design Autonomic Behavior for Blockchain platforms Allan Freitas (IFBA – Brazil) | ||
Tuesday (17th)
| 08:30 – 10:30 | TS3 – Software security and privacy (Room: AUDIVISUAL) Chair: Rodrigo Santos (Universidad Nacional del Sur, Argentina) | Generating Realistic Attack Data for Microservices: Framework and Case Study Jessica Castro, Nuno Laranjeiro and Marco Vieira (University of Coimbra – Portugal) |
| Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction João R. Campos, Rodrigo Machado, and Marco Vieira (University of Coimbra – Portugal) | ||
| Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks Nicolas Serrano (Pedeciba Informática – Uruguay), Gustavo Betarte and Juan Diego Campo (Universidad de la Republica – Uruguay) | ||
| A distributed software architecture based on reactive microservices for the Smart Building context Gustavo Mota Freire, Herminio Paucar Curasma and Júlio Estrella (USP – Brazil) | ||
| 10:30 – 11:00 | Coffee-break | |
| 11:00 – 12:00 | Keynote 2 – TBA (Room: PARANINFO UNIVERSITARIO) | Rodrigo Santos, from Argentina |
| 12:00 – 14:00 | Interval | |
| 14:00 – 16:00 | TS4 – Fault-tolerant algorithms and Security (Room: AUDIVISUAL) Chair: Diego Pinto (Universidad Nacional de Asunción, Paraguay) | Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance João Scharf, Luiz Gustavo Xavier, and Odorico Mendizabal (UFSC – Brazil) |
| A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead Everaldo Gomes Junior (Universidade Federal do Rio Grande – Brazil), Eduardo Alchieri (UnB – Brazil), Fernando Dotti (PUCRS – Brazil) and Odorico Mendizabal (UFSC – Brazil) | ||
| Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis Jefferson Silva (UnB – Algeria), Eduardo Alchieri (UnB – Brazil), Fernando Dotti (PUCRS – Brazil), Fernando Pedone (University of Lugano – Switzerland) | ||
| Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms Clayton Matias (Unicamp – Brazil), Naghmeh Ivaki (University of Coimbra – Portugal), Regina Moraes (Unicamp – Brazil) | ||
| 16:00 – 16:30 | Coffee-break | |
| 16:30 – 18:30 | Industrial Track (Room: AUDIVISUAL and online) Chair: TBA | + A case study on the development of an ontology for maintenance services of heavy machinery electronic components (Luiza Oliveira, Marco Araújo and Mário Dantas – Federal University of Juiz de Fora, Brazil) + Identification of High Delay Links in Internet Service Providers (Francisco Nobre, Danielle Silva, Silvio Ribeiro, Maria Mesquisa, Thelmo Araújo and Rafael Gomes – State University of Ceara, Brazil) + MonTh: A Tool for Automated Monitoring of Threats (Arthus Urbano, Douglas Silva, Maria Mesquita, Yago Costa, Mariana Cirino and Rafael Lopes – State University of Ceara, Brazil) + Optimization of Heterogeneous Data in Sensor Networks to Industrial Internet (Janine Kniess and Carlos H. Mecking – State University of Santa Catarina, Brazil) + Using IoT Mesh Networks to Extend Wireless Coverage in Industrial Environments (Carlos Aquino, Antonio Neto, Vanessa Lima, Evellin Moura, Yanne Oliveira and Rafal Gomes – State University of Ceara, Brazil) |
| 18:30 – 19:00 | Meeting CE-TF (Room: AUDIVISUAL and online) | |
Wednesday (18th)
| 08:30 – 10:30 | TS5 – Intrusion detection and incident handling (Room: AUDIVISUAL) Chair: João Campos (UC, Portugal) | Evaluation of Machine Learning for Intrusion Detection in Microservice Applications Iury Araujo, Nuno Antunes and Marco Vieira (University of Coimbra – Portugal) |
| An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution Knowledge Patrick A. C. Guerra, Fabio Barcelos, Raul Ceretta Nunes, Edison Pignaton de Freitas, Luis Alvaro de Lima Silva (UFSM – Brazil) | ||
| Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy Marcelo Rodríguez, Gustavo Betarte, Daniel Calegari (Universidad de La Republica – Uruguay) | ||
| Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning Marcelo Palma Salas (Unicamp – Brazil), Paulo de Geus (Unicamp – Brazil), Marcus Botacin (Texas A&M University – USA) | ||
| 10:30 – 11:00 | Coffee-break | |
| 11:00 – 12:00 | Keynote 3 – Gustavo Betarte (FING-Udelar, Uruguay) (Room: PARANINFO UNIVERSITARIO) | Enhancing cyber-threat intelligence with the support of automated learning and process mining techniques In this talk, we will present the main results of the WAFMind research project. The project aims to increase web application security by adapting machine learning and deep learning techniques and modeling the behavior of automated and human attackers using process mining techniques. We will describe an approach that combines machine learning classification with codified knowledge in a widely deployed WAF (Web Application Firewall) to prevent web application attacks. We are going to present the progress and results obtained during the development of the project. |
| 12:00 – 14:00 | Interval | |
| 14:00 – 16:00 | Workshops (Room: AUDIVISUAL and online) | WSensing – 3rd Workshop on Security, Privacy and Reliability on Wireless Sensing Networks (Chair: Bruno Bogaz Zarpelão, UEL – Brazil and Rodrigo Sanches Miani, UFU – Brazil) + An Anonymization Service for Privacy in Data Mining Matheus Silveira, Danielle Santos, Michael Souza, Douglas Silva, Maria Mesquita, Jonas Neto and Rafael Lopes Gomes – UECE , Brazil + Scalable Detection of SQL Injection in Cyber Physical Systems Michael Silva, Silvio Ribeiro, Vanessa Carvalho, Francisco Cardoso and Rafael Lopes Gomes – UECE, Brazil + Software defined wireless networks with real-time constraints Andrés Llinás – Universidad Nacional del Sur, Argentina, Matias Micheletto – CIT San Jorge CONICET, Argentina, Rodrigo Santos – Universidad Nacional del Sur, Argentina and Sergio Ochoa – Universidad de Chile, Chile SAFELIFE – Safety, Security, and Privacy in Complex Artificial Intelligence based Systems (Chairs : Naghmeh Ivaki and Tiago Cruz, University of Coimbra, Portugal) + Systematic Situation Coverage versus Random Situation Coverage for Safety Testing in an Autonomous Car Simulation Nawshin Mannan Proma and Rob Alexander (University of York, UK) |
| 16:00 – 16:30 | Coffee-break | |
| 16:30 – 17:30 | Keynote 4 – Eliane Martins (Unicamp) (Room: PARANINFO UNIVERSITARIO) | Evolution and Expansion: A Journey Through Model-Based Testing (MBT) and Its Promising Horizons Model-Based Testing (MBT) consists in using models for test purposes. MBT has been around for more than three decades and was mainly applied in testing embedded systems and communication protocols. With the maturity of methods and techniques, as well as the growth of tool support (in special, open source tools), the use of MBT has been extending to other areas in which test automation is necessary. This talk starts with an overview of MBT. Afterwards, some of our contributions in this area are presented. At the end, a discussion on some advances and perspectives in this area is given. |
| 17:30 – 19:00 | Student Forum (Room: AUDIVISUAL and online) Chair: João Campos (U. Coimbra) | Invited talk: From Student to PI: Becoming an Independent Researcher By: Cristina Nita-Rotaru, Professor of Computer Science, Khoury College of Computer Sciences, Northeastern University (http://cnitarot.github.io/) Abstract: Cristina Nita-Rotaru is a recipient of the NSF Career Award in 2006. She is also a recipient of Purdue College of Science Research Award in 2013, Purdue Excellence in Research Award, Seeds for Success in 2012, Purdue College of Science Leadership Award, 2012, Purdue College of Science Undergraduate Advising Award in 2008, and Purdue Teaching for Tomorrow Award in 2007. She has served on the Technical Program Committee of numerous conferences in security, networking and distributed systems (IEEE S&P, USENIX Security, ACM CCS, NDSS, ACM Wisec, IEEE ICDCS, IEEE/IFIP DSN, ACM SIGCOMM, ACM CoNEXT, IEEE INFOCOM, IEEE ICNP, WWW, Eurosys). She was an Associate Editor for Elsevier Computer Communications (2008 – 2011), IEEE Transactions on Computers (2011 – 2014), ACM Transactions on Information Systems Security (2009 – 2013), Computer Networks (2012 – 2014), and IEEE Transactions on Mobile Computing (2011 – 2016), and IEEE Transactions on Dependable and Secure Systems (2013 – 2017). She was a member of the steering committee of ACM Wisec and IEEE/IFIP DSN. She is a member of the IFIP Working Group on Dependable Computing and Fault-tolerance and the Steering Committee of ACM SACMAT. She is the Chair of the Steering Committee of ISOC NDSS and the Vice-Chair of the IEEE Technical Community on Dependable Computing and Fault Tolerance (TCFT). |
| Towards a Novel Model for Availability as a Service José Flauzino and Elias Duarte Jr. (UFPR – Brazil) | ||
| Intrusion Detection and Tolerance for Microservice Applications Iury Araujo, Nuno Antunes and Marco Vieira (University of Coimbra – Portugal) | ||
| Advanced Machine Learning for Runtime Data Generation Bukhtawar Zamir, Joao R. Campos and Marco Vieira (University of Coimbra – Portugal) | ||
| 19:00 – 19:30 | Interval | |
| 19:30 – 22:00 | Conference Dinner (CLEI + LADC) | Tickets must be acquired during the Conference. |
From Thursday to Saturday, check the CLEI schedule. https://clei.umsa.bo/cronograma_gral
Keynote Speaker 1 – Roberto Asín (Bolivia-Chile) – CLEI
Keynote Speaker 2 – Rodrigo Santos (Argentina) – CLEI
Keynote Speaker 3 – Gustavo Betarte (Fing-Udelar, Uruguay)
Enhancing cyber-threat intelligence with the support of automated learning and process mining techniques.
In this talk, we will present the main results of the WAFMind research project. The project aims to increase web application security by adapting machine learning and deep learning techniques and modeling the behavior of automated and human attackers using process mining techniques. We will describe an approach that combines machine learning classification with codified knowledge in a widely deployed WAF (Web Application Firewall) to prevent web application attacks. We are going to present the progress and results obtained during the development of the project.
Gustavo Betarte earned a BSc in Computer Engineering from Facultad de Ingeniería de la Universidad de la República, Uruguay (FING-Udelar), as well as an MSc and a Ph.D. in Computing Science from the University of Gothenburg, Sweden. He is a Full Professor in the Department of Computer Science (InCo) and is the principal researcher and head of the Computer Security team (GSI) at FING-Udelar. Dr. Betarte is a member of the Uruguayan Researchers National System (SNI, Level II). His research interests include formal methods, program verification, software and system security, and the foundations of computer science. Currently, he is working on applying knowledge discovery techniques for adaptive software security, the formal definition and verification of security properties of cryptocurrency protocols, and the design and implementation of security training platforms (Cyber Ranges). Since 2006, he has been the Technical Director of the Computer Security Consulting Team of Tilsor SA, a Uruguayan IT company.
Keynote Speaker 4 – Eliane Martins (Unicamp, Brazil)
Evolution and Expansion: A Journey Through Model-Based Testing (MBT) and Its Promising Horizons
Model-Based Testing (MBT) consists in using models for test purposes. MBT has been around for more than three decades and was mainly applied in testing embedded systems and communication protocols. With the maturity of methods and techniques, as well as the growth of tool support (in special, open source tools), the use of MBT has been extending to other areas in which test automation is necessary. This talk starts with an overview of MBT. Afterwards, some of our contributions in this area are presented. At the end, a discussion on some advances and perspectives in this area is given.
Eliane Martins has a PhD in critical systems validation using fault injection. She was for 25 years a Professor at the Institute of Computing of the State University of Campinas (Unicamp). She is currently retired and works as a Collaborating Researcher at the same University. Her areas of interest include: model-based testing and robustness testing of embedded systems. Recently her interests also include the use of MBT in agile methods.