Carolina Carreira

Orcid: 0000-0002-4526-6510

According to our database¹, Carolina Carreira authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring.

[BibT_eX]

[DOI]

Autom. Softw. Eng., June, 2024

2023

The Human Side of XAI: Bridging the Gap between AI and Non-expert Audiences.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM International Conference on Design of Communication, 2023

2022

Studying Users' Willingness to Use a Formally Verified Password Manager.

[BibT_eX]

[DOI]

Carolina Carreira

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021

Carolina Carreira

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...