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.
