ResearchTrend.AI
Towards Formal Verification of Password Generation Algorithms used in Password Managers
v1v2 (latest)

Towards Formal Verification of Password Generation Algorithms used in Password Managers

Miguel Grilo
J. Ferreira
J. Almeida
ArXiv (abs)PDFHTML

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