v1v2 (latest)

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

7 July 2020

Papers citing "Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection"

3 / 3 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
Towards Formal Verification of Password Generation Algorithms used in Password Managers Miguel Grilo J. Ferreira J. Almeida 37 8 0 07 Jun 2021