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
55
8
0
16 Nov 2021

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.