@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" }