{"id":2095,"date":"2022-03-30T21:53:24","date_gmt":"2022-03-31T00:53:24","guid":{"rendered":"https:\/\/ladc.sbc.org.br\/?page_id=2095"},"modified":"2023-10-31T16:29:34","modified_gmt":"2023-10-31T19:29:34","slug":"program","status":"publish","type":"page","link":"https:\/\/ladc.sbc.org.br\/2023\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\n

-2hrs.06:00 AM – Costa Rica + Centroam\u00e9rica
-1hrs.07:00 AM – Per\u00fa + Ecuador + M\u00e9xico + Colombia + Panam\u00e1 + USA.Houston
+0hrs.08:00 AM – Bolivia<\/strong> + Cuba + Venezuela
+1hrs.09:00 AM – Chile + Paraguay + Brasil + Uruguay + Argentina
+6hrs.02:00 PM – Espa\u00f1a<\/p>\n\n\n\n

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.<\/p>\n\n\n\n

You can access the proceedings here!<\/a><\/mark><\/p>\n\n\n\n

Monday (16th)<\/strong><\/h2>\n\n\n\n
08:00 – 09:30<\/td>Check-in<\/strong> (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.)<\/td><\/tr>
09:30 \u2013 11:00<\/td>Opening Session<\/strong> (Room: ILLIMANI AUDITORIUM)<\/td><\/tr>
11:00 – 11:30<\/td>Coffee-break<\/td><\/tr>
11:30 – 12:30<\/td>Keynote 1<\/strong> (Room: ILLIMANI AUDITORIUM)<\/td>Roberto As\u00edn<\/strong>, from Bolivia-Chile<\/td><\/tr>
12:30 – 14:00<\/td>Return to UMSA and Interval<\/td><\/tr>
14:00 – 16:00<\/td>TS1 \u2013 Cloud and networking<\/strong>
(Room: AUDIVISUAL)
Chair: <\/strong>Elias P. Duarte Jr. (UFPR, Brazil)<\/td>		Attesting AMD SEV-SNP Virtual Machines with SPIRE
<\/strong>Davi Pontes (UFCG – Brazil), Fernando Silva (UFCG – Brazil), Eduardo Falc\u00e3o (UFRN – Brazil) and Andrey Brito (UFCG \u2013 Brazil)<\/td><\/tr>
ALR-LoRaWAN: An Application-Level Retransmission Management Algorithm for LoRaWAN Networks<\/strong>
Jo\u00e3o Past\u00f3rio, \u00c1lvaro Ricieri Castro e Souza, Fabio Spanhol, Alexandre Huff and Edson Tavares de Camargo (UTFPR \u2013 Brazil)<\/td><\/tr>
Using Formal Methods for On-The-Fly Time Series Verification
<\/strong>Jos\u00e9 Luis Hoffmann, Leonardo Horstmann and Antonio Augusto Frohlich (UFSC \u2013 Brazil)<\/td><\/tr>
Context-aware monitoring for IoT: an approach based on Agents, and Federated Learning<\/strong>
Herminio Paucar Curasma and J\u00falio Estrella (USP \u2013 Brazil)<\/td><\/tr>
16:00 – 16:30<\/td>Coffee-break<\/td><\/tr>
16:30 – 18:30<\/td>TS2 \u2013 Fault-tolerant algorithms <\/strong>(Room: AUDIVISUAL)
Chair: Edson Camargo (UTFPR, Brazil)<\/td>		Loom: A Closed-Box Disaggregated Database System
<\/strong>F\u00e1bio Coelho, Ana Alonso, Luis Ferreira, Jose Pereira and Rui Oliveira (INESCTEC & U. Minho \u2013 Portugal)<\/td><\/tr>
Diamond-P-vCube: An Eventually Perfect Hierarchical Failure Detector for Asynchronous Distributed Systems<\/strong>
Gabriela Stein (Unioeste \u2013 Brazil), Luiz A. Rodrigues (Unioeste \u2013 Brazil), Elias Duarte Jr. (UFPR \u2013 Brazil) and Luciana Arantes (Sorbonne Universit\u00e9 \u2013 France)<\/td><\/tr>
Efficient Synchronization of CRDTs using Vcube-PS<\/strong>
Leonardo Galesky (Unioeste \u2013 Brazil), Luiz A. Rodrigues (Unioeste \u2013 Brazil), Elias Duarte Jr. (UFPR \u2013 Brazil) and Luciana Arantes (Sorbonne Universit\u00e9 \u2013 France)<\/td><\/tr>
On Design Autonomic Behavior for Blockchain platforms
<\/strong>Allan Freitas (IFBA \u2013 Brazil)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Tuesday (17th)<\/h2>\n\n\n\n
08:30 – 10:30<\/td>TS3 – Software security and privacy<\/strong> (Room: AUDIVISUAL)
Chair: Rodrigo Santos (Universidad Nacional del Sur, Argentina)<\/td>		Generating Realistic Attack Data for Microservices: Framework and Case Study<\/strong>
Jessica Castro, Nuno Laranjeiro and Marco Vieira (University of Coimbra – Portugal)<\/td><\/tr>
Leveraging Time Series Autocorrelation Through Numerical Differentiation for Improving Failure Prediction<\/strong>
Jo\u00e3o R. Campos, Rodrigo Machado, and Marco Vieira (University of Coimbra \u2013 Portugal)<\/td><\/tr>
Third-Party Trackers in COVID-19 Mobile Applications Can Enable Privacy Leaks<\/strong>
Nicolas Serrano (Pedeciba Inform\u00e1tica \u2013 Uruguay), Gustavo Betarte and Juan Diego Campo (Universidad de la Republica \u2013 Uruguay)<\/td><\/tr>
A distributed software architecture based on reactive microservices for the Smart Building context<\/strong>
Gustavo Mota Freire, Herminio Paucar Curasma and J\u00falio Estrella (USP \u2013 Brazil)<\/td><\/tr>
10:30 – 11:00<\/td>Coffee-break<\/td><\/tr>
11:00 – 12:00<\/td>Keynote 2<\/strong> – TBA (Room: PARANINFO UNIVERSITARIO)<\/td>Rodrigo Santos<\/strong>, from Argentina<\/td><\/tr>
12:00 – 14:00<\/td>Interval<\/td><\/tr>
14:00 – 16:00<\/td>TS4 – Fault-tolerant algorithms and Security<\/strong> (Room: AUDIVISUAL)
Chair: Diego Pinto (Universidad Nacional de Asunci\u00f3n, Paraguay)<\/td>		Joining Parallel and Partitioned State Machine Replication Models for Enhanced Shared Logging Performance<\/strong>
Jo\u00e3o Scharf, Luiz Gustavo Xavier, and Odorico Mendizabal (UFSC – Brazil)<\/td><\/tr>
A Time-Phased Partitioned Checkpoint Approach to Reduce State Snapshot Overhead<\/strong>
Everaldo Gomes Junior (Universidade Federal do Rio Grande – Brazil), Eduardo Alchieri (UnB – Brazil), Fernando Dotti (PUCRS – Brazil) and Odorico Mendizabal (UFSC \u2013 Brazil)<\/td><\/tr>
Parallel Execution of Transactions Based on Dynamic and Self-Verifiable Conflict Analysis<\/strong>
Jefferson Silva (UnB – Algeria), Eduardo Alchieri (UnB – Brazil), Fernando Dotti (PUCRS – Brazil), Fernando Pedone (University of Lugano \u2013 Switzerland)<\/td><\/tr>
Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms<\/strong>
Clayton Matias (Unicamp – Brazil), Naghmeh Ivaki (University of Coimbra – Portugal), Regina Moraes (Unicamp \u2013 Brazil)<\/td><\/tr>
16:00 – 16:30<\/td>Coffee-break<\/td><\/tr>
16:30 – 18:30<\/td>Industrial Track<\/strong> (Room: AUDIVISUAL and online<\/a>)
Chair: TBA<\/td>		+ A case study on the development of an ontology for maintenance services of heavy machinery electronic components<\/strong> (Luiza Oliveira, Marco Ara\u00fajo and M\u00e1rio Dantas – Federal University of Juiz de Fora, Brazil)

+ Identification of High Delay Links in Internet Service Providers<\/strong> (Francisco Nobre, Danielle Silva, Silvio Ribeiro, Maria Mesquisa, Thelmo Ara\u00fajo and Rafael Gomes – State University of Ceara, Brazil)

+ MonTh: A Tool for Automated Monitoring of Threats<\/strong> (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 <\/strong>(Janine Kniess and Carlos H. Mecking – State University of Santa Catarina, Brazil)

+ Using IoT Mesh Networks to Extend Wireless Coverage in Industrial Environments <\/strong>(Carlos Aquino, Antonio Neto, Vanessa Lima, Evellin Moura, Yanne Oliveira and Rafal Gomes – State University of Ceara, Brazil)<\/td><\/tr>
18:30 – 19:00<\/td>Meeting CE-TF<\/strong>
(Room: AUDIVISUAL and online<\/a>)<\/td>		<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Wednesday (18th)<\/h2>\n\n\n\n
08:30 – 10:30<\/td>TS5 \u2013 Intrusion detection and incident handling<\/strong> (Room: AUDIVISUAL)
Chair: Jo\u00e3o Campos (UC, Portugal)<\/td>		Evaluation of Machine Learning for Intrusion Detection in Microservice Applications<\/strong>
Iury Araujo, Nuno Antunes and Marco Vieira (University of Coimbra \u2013 Portugal)<\/td><\/tr>
An Artificial Intelligence Framework for the Representation and Reuse of Cybersecurity Incident Resolution Knowledge<\/strong>
Patrick A. C. Guerra, Fabio Barcelos, Raul Ceretta Nunes, Edison Pignaton de Freitas, Luis Alvaro de Lima Silva (UFSM \u2013 Brazil)<\/td><\/tr>
Discovering attacker profiles using process mining and the MITRE ATT&CK taxonomy<\/strong>
Marcelo Rodr\u00edguez, Gustavo Betarte, Daniel Calegari (Universidad de La Republica \u2013 Uruguay)<\/td><\/tr>
Enhancing Malware Family Classification in the Microsoft Challenge Dataset via Transfer Learning<\/strong>
Marcelo Palma Salas (Unicamp – Brazil), Paulo de Geus (Unicamp – Brazil), Marcus Botacin (Texas A&M University \u2013 USA)<\/td><\/tr>
10:30 – 11:00<\/td>Coffee-break<\/td><\/tr>
11:00 – 12:00<\/td>Keynote 3 \u2013 Gustavo Betarte <\/strong>(FING-Udelar, Uruguay) (Room: PARANINFO UNIVERSITARIO)<\/td>Enhancing cyber-threat intelligence with the support of automated learning and process mining techniques<\/strong>

In this talk, we will present the main results of the WAFMind<\/a> 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.<\/td><\/tr>
12:00 – 14:00<\/td>Interval<\/td><\/tr>
14:00 – 16:00<\/td>Workshops<\/strong> (Room: AUDIVISUAL and onli<\/a>n<\/a>e<\/a>)<\/td>WSensing<\/a> – 3rd Workshop on Security, Privacy and Reliability on Wireless Sensing Networks<\/strong> (Chair: Bruno Bogaz Zarpel\u00e3o, UEL – Brazil and Rodrigo Sanches Miani, UFU – Brazil)

+ An Anonymization Service for Privacy in Data Mining<\/strong>
Matheus Silveira, Danielle Santos, Michael Souza, Douglas Silva, Maria Mesquita, Jonas Neto and Rafael Lopes Gome<\/em>s – UECE , Brazil<\/em>

+ Scalable Detection of SQL Injection in Cyber Physical Systems<\/strong>
Michael Silva, Silvio Ribeiro, Vanessa Carvalho, Francisco Cardoso and Rafael Lopes Gomes – UECE, Brazil<\/em>

+ Software defined wireless networks with real-time constraints<\/strong>
Andr\u00e9s Llin\u00e1s – 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<\/em>

SAFELIFE<\/a> – Safety, Security, and Privacy in Complex Artificial Intelligence based Systems <\/strong>(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<\/strong>
Nawshin Mannan Proma and Rob Alexander (University of York, UK)<\/td><\/tr>
16:00 – 16:30<\/td>Coffee-break<\/td><\/tr>
16:30 – 17:30<\/td>Keynote <\/strong>4 – Eliane Martins (Unicamp) (Room: PARANINFO UNIVERSITARIO)<\/td>Evolution and Expansion: A Journey Through Model-Based Testing (MBT) and Its Promising Horizons<\/strong>

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.<\/td><\/tr>
17:30 \u2013 19:00<\/td>Student Forum<\/strong> (Room: AUDIVISUAL and online<\/a>)
Chair:<\/strong> Jo\u00e3o Campos (U. Coimbra)<\/td>		Invited talk: From Student to PI: Becoming an Independent Researcher<\/strong>
By: Cristina Nita-Rotaru, Professor of Computer Science, Khoury College of Computer Sciences, Northeastern University (http:\/\/cnitarot.github.io\/<\/a>)

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).<\/td><\/tr>
Towards a Novel Model for Availability as a Service<\/strong>
Jos\u00e9 Flauzino and Elias Duarte Jr. (UFPR – Brazil)<\/td><\/tr>
Intrusion Detection and Tolerance for Microservice Applications<\/strong>
Iury Araujo, Nuno Antunes and Marco Vieira (University of Coimbra – Portugal)<\/td><\/tr>
Advanced Machine Learning for Runtime Data Generation<\/strong>
Bukhtawar Zamir, Joao R. Campos and Marco Vieira (University of Coimbra – Portugal)<\/td><\/tr>
19:00 – 19:30<\/td>Interval<\/td><\/td><\/tr>
19:30 – 22:00<\/td>Conference Dinner<\/strong> (CLEI + LADC)<\/td>Tickets must be acquired during the Conference.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

From Thursday to Saturday<\/strong>, check the CLEI schedule. https:\/\/clei.umsa.bo\/cronograma_gral<\/a><\/p>\n\n\n\n

Keynote Speaker 1 – Roberto As\u00edn (Bolivia-Chile) – CLEI<\/h2>\n\n\n\n

<\/p>\n\n\n\n

Keynote Speaker 2 – Rodrigo Santos (Argentina) – CLEI<\/h2>\n\n\n\n

Keynote Speaker 3 – Gustavo Betarte (Fing-Udelar, Uruguay)<\/h2>\n\n\n\n

Enhancing cyber-threat intelligence with the support of automated learning and process mining techniques.<\/strong><\/h4>\n\n\n\n

In this talk, we will present the main results of the WAFMind<\/a> 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.<\/p>\n\n\n\n

\n
\n
\"\"<\/figure>\n<\/div>\n\n\n\n
\n

Gustavo Betarte<\/strong> earned a BSc in Computer Engineering from Facultad de Ingenier\u00eda de la Universidad de la Rep\u00fablica, 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.<\/p>\n<\/div>\n<\/div>\n\n\n\n

Keynote Speaker 4 – Eliane Martins (Unicamp, Brazil)<\/h2>\n\n\n\n

Evolution and Expansion: A Journey Through Model-Based Testing (MBT) and Its Promising Horizons<\/strong><\/p>\n\n\n\n

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.<\/p>\n\n\n\n

\n
\n
\"\"<\/figure>\n<\/div>\n\n\n\n
\n

Eliane Martins<\/strong> 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.<\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

-2hrs.06:00 AM – Costa Rica + Centroam\u00e9rica-1hrs.07:00 AM – Per\u00fa + Ecuador + M\u00e9xico + Colombia + Panam\u00e1 + USA.Houston+0hrs.08:00 AM – Bolivia + Cuba + Venezuela+1hrs.09:00 AM – Chile + Paraguay + Brasil + Uruguay + Argentina+6hrs.02:00 PM – Espa\u00f1a LADC activities will be concentrated from Monday (16) to Wednesday (18), but participantes are […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2095","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/2095","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/comments?post=2095"}],"version-history":[{"count":204,"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/2095\/revisions"}],"predecessor-version":[{"id":3595,"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/pages\/2095\/revisions\/3595"}],"wp:attachment":[{"href":"https:\/\/ladc.sbc.org.br\/2023\/wp-json\/wp\/v2\/media?parent=2095"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}