Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2111.08209
Cited By
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
16 November 2021
Caroline Carreira
J. Ferreira
A. Mendes
Nicolas Christin
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda"
1 / 1 papers shown
Title
Are Users More Willing to Use Formally Verified Password Managers?
Carolina Carreira
J. Ferreira
A. Mendes
Nicolas Christin
81
0
0
02 Apr 2025
1
