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
Towards improving the usability of password managers
C Carreira, JF Ferreira, A Mendes
InFORUM, 2021
42021
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
22023
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
The system can't perform the operation now. Try again later.
Articles 1–5