@InProceedings{Carreira:SEFM25, 
  author = "C. Carreira and J. Ferreira and A. Mendes and N. Christin",
  title = "Are Users More Willing to Use Formally Verified Password Managers?"
  booktitle = "Proceedings of the 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025)", 
  pages = "185--202",
  year = 2025,
  month = nov,
  address = "Toledo, Spain"
}