Carolina Carreira

According to our database, Carolina Carreira authored at least 13 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

"You do understand that people don't trust technology?": Explaining Trusted Execution Environments to Non-Experts.

McKenna McCall, Carolina Carreira, Miguel Flores, Lorrie Faith Cranor

CoRR, May, 2026

Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions.

Carolina Carreira, Anu Aggarwal, Alejandro Cuevas, Maria José Ferreira, Hanan Hibshi, Cleotilde Gonzalez

Proceedings of the 59th Hawaii International Conference on System Sciences, 2026

2025

Can Automated Feedback Turn Students into Happy Prologians?

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins

CoRR, April, 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

CoRR, April, 2025

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges.

Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin

CoRR, April, 2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.

Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Are Users More Willing to Use Formally Verified Password Managers?

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Francisco Oliveira, Alexandra Mendes, Carolina Carreira

Proceedings of the 36th IEEE International Symposium on Software Reliability Engineering, 2025

Contract Usage and Evolution in Android Mobile Applications.

David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira

Autom. Softw. Eng., June, 2024

2023

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

Proceedings of the 41st ACM International Conference on Design of Communication, 2023

2022

Studying Users' Willingness to Use a Formally Verified Password Manager.

Carolina Carreira

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021