@Inproceedings{EPTCS349.6,
  author    = {Carreira, Carolina and Ferreira, Jo\~ao F. and Mendes, Alexandra and Christin, Nicolas},
  year      = {2021},
  title     = {Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda},
  editor    = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim},
  booktitle = {{\rm Proceedings First Workshop on}
               Applicable Formal Methods,
               {\rm virtual, 23rd November 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {349},
  publisher = {Open Publishing Association},
  pages     = {77-84},
  doi       = {10.4204/EPTCS.349.6},
}