Close this search box.

Carolina Carreira

Carolina Carreira

I’m focused on users’ motivations and concerns when using security software. More specifically, in my Masters’s Thesis, I aimed to communicate to users how formal verification can impact password managers. I’m also interested in other formally verified software such as decentralized finance protocols.

Research topics:Usable Security
Enrollment year: 2022
PT Supervisor: João Ferreira
PT Supervisor: Alexandra Mendes
CMU Supervisor: Nicolas Christin