Are Users More Willing to Use Formally Verified Password Managers?

Carolina Carreira, Joo F. Ferreira, Alexandra Mendes, Nicolas Christin

Browse the full SEFM paper archive.