Are Users More Willing to Use Formally Verified Password Managers?

2 April 2025

Papers citing "Are Users More Willing to Use Formally Verified Password Managers?"

3 / 3 papers shown

Title
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda Caroline Carreira J. Ferreira A. Mendes Nicolas Christin 52 8 0 16 Nov 2021
Towards Formal Verification of Password Generation Algorithms used in Password Managers Miguel Grilo J. Ferreira J. Almeida 30 8 0 07 Jun 2021
Why Older Adults (Don't) Use Password Managers Hirak Ray Flynn Wolf Ravi Kuber Adam J. Aviv 43 57 0 05 Oct 2020