Carolina Carreira
Scholar

Carolina Carreira

Google Scholar ID: AzWvSdIAAAAJ
Carnegie Mellon University, Instituto Superior Técnico, INESC-ID
Usable SecuritySoftware Engineering
Google Scholar↗
Citations & Impact
All-time
Citations
42
 
H-index
3
 
i10-index
2
 
Publications
14
 
Co-authors
12
list available
Contact
No contact links provided.
Publications
4 items
Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions
2025
Cited
0
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
2025
Cited
0
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
2025
Cited
0
Can Automated Feedback Turn Students into Happy Prologians?
2025
Cited
0
Resume (English only)
Co-authors
12 total
Alexandra Mendes
Alexandra Mendes
Faculty of Engineering, University of Porto and HASLab, INESC TEC
João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Nicolas Christin
Nicolas Christin
Carnegie Mellon University
Lorrie Faith Cranor
Lorrie Faith Cranor
FORE Systems Professor, Carnegie Mellon University
Joao Tiago Aparicio
Joao Tiago Aparicio
University of Lisbon, Instituto Superior Técnico, INESC-ID
Beatriz Severes
Beatriz Severes
ITI/LARSyS, Instituto Superior Técnico, University of Lisbon
Co-author 7
Co-author 7
McKenna McCall
McKenna McCall
Colorado State University