v1v2 (latest)

Towards Formal Verification of Password Generation Algorithms used in Password Managers

7 June 2021

Papers citing "Towards Formal Verification of Password Generation Algorithms used in Password Managers"

2 / 2 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
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda Caroline Carreira J. Ferreira A. Mendes Nicolas Christin 55 8 0 16 Nov 2021