Carolina Carreira

16 papers A 2B 3Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions.
HICSS
Carolina Carreira, Anu Aggarwal, Alejandro Cuevas, Maria José Ferreira, Hanan Hibshi, Cleotilde Gonzalez
2025 J jnl
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges.
CoRR
Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin
2025 B conf
Are Users More Willing to Use Formally Verified Password Managers?
SEFM
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025 J jnl
Are Users More Willing to Use Formally Verified Password Managers?
CoRR
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025 J jnl
Can Automated Feedback Turn Students into Happy Prologians?
CoRR
Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins
2025 B conf
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.
SEFM
Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes
2025 J jnl
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.
CoRR
Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes
2025 A conf
Contract Usage and Evolution in Android Mobile Applications.
ECOOP
David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira
2025 J jnl
Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions.
CoRR
Carolina Carreira, Anu Aggarwal, Alejandro Cuevas, Maria José Ferreira, Hanan Hibshi, Cleotilde Gonzalez
2025 J jnl
From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges.
CoRR
Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025 A conf
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
ISSRE
Francisco Oliveira, Alexandra Mendes, Carolina Carreira
2025 J jnl
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
CoRR
Francisco Oliveira, Alexandra Mendes, Carolina Carreira
2024 J jnl
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.
Autom. Softw. Eng.
Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
2023 — conf
The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences.
SIGDOC
Beatriz Severes, Carolina Carreira, Ana Beatriz Vieira, Eduardo Gomes, João Tiago Aparício, Inês Pereira
2022 B conf
Studying Users' Willingness to Use a Formally Verified Password Manager.
IFM
Carolina Carreira
2021 — conf
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.
AppFM@FM
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin