Attack and System Modeling Applied to IoT, Cloud, and Mobile Ecosystems: Embedding Security by Design. - João B. F. Sequeiros; Francisco T. Chimuco; Musa G. Samaila; Mário M. Freire; Pedro R. M. Inácio (ACM Comput. Surv., 2021)

Secure cloud-based mobile apps: attack taxonomy, requirements, mechanisms, tests and automation. - Francisco T. Chimuco; João B. F. Sequeiros; Carolina Galvão Lopes; Tiago M. C. Simões; Mário M. Freire; Pedro R. M. Inácio (Int. J. Inf. Sec., 2023)

An Approach to Attack Modeling for the IoT: Creating Attack Trees from System Descriptions. - João B. F. Sequeiros; Francisco Tchissaquila Chimuco; Tiago M. C. Simões; Mário M. Freire; Pedro R. M. Inácio (AINA (2), 2024)

Expediting the design and development of secure cloud-based mobile apps. - Francisco T. Chimuco; João B. F. Sequeiros; Tiago M. C. Simões; Mário M. Freire; Pedro R. M. Inácio (Int. J. Inf. Sec., 2024)

Framework and Roadmap for Secure Design and Development of Applications in the Cloud and Mobile Ecosystem. - Francisco T. Chimuco; João B. F. Sequeiros; Mário M. Freire; Pedro R. M. Inácio (EICC, 2025)