5 citations · 6 across the 9 of their papers we have counts for
10 papers
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Automated feedback tools for logic programming education depend on realistic bug datasets that reflect the mistakes students actually make. However, existing mutation testing frame…
"You do understand that people don't trust technology?": Explaining Trusted Execution Environments to Non-Experts
McKenna McCall, Carolina Carreira, Miguel Flores +1
Trusted Execution Environments (TEEs) protect confidentiality and integrity of trusted applications by creating an isolated environment for executing code. Prior work has shown tha…
Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions
Carolina Carreira, Anu Aggarwal, Alejandro Cuevas +3
Understanding how cognitive biases influence adversarial decision-making is essential for developing effective cyber defenses. Capture-the-Flag (CTF) competitions provide an ecolog…
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
Francisco Oliveira, Alexandra Mendes, Carolina Carreira
Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software development, increasing software reliability often involves testi…
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, Alexandre Abreu +1
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting cognitively demanding tasks, like deductive progr…
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Providing personalized feedback is essential for effective learning, but delivering it promptly can be challenging in large-scale courses. In this work, we present ProHelp, an auto…
The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
Carolina Carreira, Nuno Saavedra, Alexandra Mendes +1
Infrastructure as Code (IaC) tools have transformed the way IT infrastructure is automated and managed, but their growing adoption has also exposed numerous challenges for practiti…
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
Formal verification has recently been increasingly used to prove the correctness and security of many applications. It is attractive because it can prove the absence of errors with…
A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
Carolina Carreira, Alexandra Mendes, João F. Ferreira +1
Cybersecurity incidents such as data breaches have become increasingly common, affecting millions of users and organizations worldwide. The complexity of cybersecurity threats chal…
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future,…