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 | 8 | 2021 |
Towards improving the usability of password managers C Carreira, JF Ferreira, A Mendes InFORUM, 2021 | 4 | 2021 |
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 | 2 | 2023 |
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 |