Follow
Carolina Carreira
Carolina Carreira
Carnegie Mellon University, Instituto Superior Técnico, INESC-ID
Verified email at andrew.cmu.edu
Title
Cited by
Cited by
Year
Exploring usable security to improve the impact of formal verification: a research agenda
C Carreira, JF Ferreira, A Mendes, N Christin
arXiv preprint arXiv:2111.08209, 2021
82021
The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences
B Severes, C Carreira, AB Vieira, E Gomes, JT Aparício, I Pereira
Proceedings of the 41st ACM International Conference on Design of …, 2023
62023
Towards improving the usability of password managers
C Carreira, JF Ferreira, A Mendes
InFORUM, 2021
42021
How to explain trusted execution environments (tees)
C Carreira, MK McCall, LF Cranor
USENIX Symposium on Usable Privacy and Security (SOUPS), 2024
12024
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
R Lima, JF Ferreira, A Mendes, C Carreira
Automated Software Engineering 31 (1), 1, 2024
2024
Studying Users’ Willingness to Use a Formally Verified Password Manager
C Carreira
International Conference on Integrated Formal Methods, 343-346, 2022
2022
Who’s Listening? Analyzing Privacy Preferences in Multi-User Smart Personal Assistants Settings
C Carreira, C Berger, K Shah, S Agarwal, Y Thakur, MK McCall, N Christin, ...
The system can't perform the operation now. Try again later.
Articles 1–7