@InProceedings{Carreira:AppFM21, 
  author = "C. Carreira, J. Ferreira, A. Mendes, and N. Christin",
  title = "Exploring Usable Security to Improve the Impact of Formal
Verification: A Research Agenda",
  booktitle = "Proceedings of the First Workshop on Applicable Formal Methods ($\alpha$FM 2021)", 
  pages = "77--84",
  year = 2021,
  month = nov,
  address = "Beijing, China (virtual)",
  note = "doi: 10.4204/EPTCS.349.6"
}