Carolina Carreira

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Cognitive Psychology

Artificially Intelligent

Formal Verification

Top Venues

Autom. Softw. Eng.

Publications

Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. 31 (1) (2024)
Beatriz Severes, Carolina Carreira, Ana Beatriz Vieira, Eduardo Gomes, João Tiago Aparício, Inês Pereira
The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences. SIGDOC (2023)
Carolina Carreira
Studying Users' Willingness to Use a Formally Verified Password Manager. IFM (2022)
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM (2021)