Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. - Carolina Carreira; João F. Ferreira 001; Alexandra Mendes; Nicolas Christin (AppFM@FM, 2021)

Studying Users' Willingness to Use a Formally Verified Password Manager. - Carolina Carreira (IFM, 2022)

The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences. - Beatriz Severes; Carolina Carreira; Ana Beatriz Vieira; Eduardo Gomes; João Tiago Aparício; Inês Pereira (SIGDOC, 2023)

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. - Rui Lima; João F. Ferreira 001; Alexandra Mendes; Carolina Carreira (Autom. Softw. Eng., 2024)

Contract Usage and Evolution in Android Mobile Applications. - David R. Ferreira; Alexandra Mendes; João F. Ferreira 001; Carolina Carreira (ECOOP, 2025)

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges. - Carolina Carreira; Alexandra Mendes; João F. Ferreira 001; Nicolas Christin (CoRR, 2025)

Are Users More Willing to Use Formally Verified Password Managers? - Carolina Carreira; João F. Ferreira 001; Alexandra Mendes; Nicolas Christin (CoRR, 2025)

From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges. - Carolina Carreira; Nuno Saavedra; Alexandra Mendes; João F. Ferreira 001 (CoRR, 2025)

Can Automated Feedback Turn Students into Happy Prologians? - Ricardo Brancas; Pedro Orvalho; Carolina Carreira; Vasco Manquinho; Ruben Martins (CoRR, 2025)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. - Carolina Carreira; Álvaro F. Silva; Alexandre Abreu; Alexandra Mendes (CoRR, 2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages? - Francisco Oliveira 008; Alexandra Mendes; Carolina Carreira (CoRR, 2025)