Carolina Carreira
@carolinacarreira.bsky.social
PhD Student in CMU in Societal Computing
Reposted by Carolina Carreira
Carolina Carreira, Jo\~ao F. Ferreira, Alexandra Mendes, Nicolas Christin: Are Users More Willing to Use Formally Verified Password Managers? https://arxiv.org/abs/2504.02124 https://arxiv.org/pdf/2504.02124 https://arxiv.org/html/2504.02124
April 4, 2025 at 5:55 AM
Carolina Carreira, Jo\~ao F. Ferreira, Alexandra Mendes, Nicolas Christin: Are Users More Willing to Use Formally Verified Password Managers? https://arxiv.org/abs/2504.02124 https://arxiv.org/pdf/2504.02124 https://arxiv.org/html/2504.02124