TY  - RPRT
TI  - Are Users More Willing to Use Formally Verified Password Managers?
AU  - Carolina Carreira
AU  - João F. Ferreira
AU  - Alexandra Mendes
AU  - Nicolas Christin
PY  - 2025
UR  - https://arxiv.org/abs/2504.02124
ID  - 2504.02124
ER  -