highlights

2025

1. Static Code Analysis for IoT Security: A Systematic Literature Review

   Diego Gomes, Eduardo Felix, Fernando Lins, and 1 more author

   ACM Comput. Surv., 2025
2. Leveraging LLMs for Trustworthy Software Engineering: Insights and Challenges

   Marco Vieira

   Computer, 2025
3. Enhancing intrusion detection in containerized services: Assessing machine learning models and an advanced representation for system call data

   Iury Araujo, and Marco Vieira

   Computers & Security, 2025
4. Predicting Failures in Complex Systems

   João R. Campos, Ernesto Costa, and Marco Vieira

   Computer, 2025
5. Evaluation of time-based virtual machine migration as moving target defense against host-based attacks

   Matheus Torquato, Paulo R. M. Maciel, and Marco Vieira

   J. Syst. Softw., 2025