Publications

Publications by categories in reversed chronological order.

Publications

First-Author Publications

2025

  • Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin. Are Users More Willing to Use Formally Verified Password Managers? International Conference on Software Engineering and Formal Methods (SEFM), 2025.

  • Carolina Carreira, A. Aggarwal, A. Cuevas, M. J. Ferreira, H. Hibshi, Cleotilde Gonzalez. Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions. Hawaii International Conference on System Sciences (HICSS), 2025.

  • Carolina Carreira, Á. Silva, A. Abreu, Alexandra Mendes. Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. International Conference on Software Engineering and Formal Methods (SEFM), 2025.

  • Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira. The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible’s Challenges. arXiv preprint, 2025.

  • Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin. A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges. arXiv preprint, 2025.

2023

  • B. Severes, Carolina Carreira, A. B. Vieira, E. Gomes, J. T. Aparício, I. Pereira. The Human Side of XAI: Bridging the Gap Between AI and Non-Expert Audiences. ACM Conference on Design of Interactive Systems, 2023.

2022

  • Carolina Carreira. Studying Users’ Willingness to Use a Formally Verified Password Manager. Integrated Formal Methods (IFM), 2022.

2021

  • Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin. Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. Workshop on Applicable Formal Methods, 2021.

  • Carolina Carreira, João F. Ferreira, Alexandra Mendes. Towards Improving the Usability of Password Managers. InFORUM, 2021.

Collaborative Publications

2025

  • F. Oliveira, Alexandra Mendes, Carolina Carreira. What Challenges Do Developers Face When Using Verification-Aware Programming Languages? International Symposium on Software Reliability Engineering (ISSRE), 2025.

  • D. R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira. Contract Usage and Evolution in Android Mobile Applications. European Conference on Object-Oriented Programming (ECOOP), 2025.

  • R. Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins. Can Automated Feedback Turn Students into Happy Prologians? arXiv preprint, 2025.

  • McKenna McCall, Carolina Carreira, M. Flores, Lorrie Faith Cranor. “You Do Understand That People Don’t Trust Technology?”: Explaining Trusted Execution Environments to Non-Experts. 2025.

2024

  • R. Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira. DifFuzzAR: Automatic Repair of Timing Side-Channel Vulnerabilities via Refactoring. Automated Software Engineering, 2024.