@misc{indiciae9a321ce1ba71,
  title = {Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda},
  author = {Carolina Carreira and João F. Ferreira and Alexandra Mendes and Nicolas Christin},
  year = {2021},
  doi = {10.4204/eptcs.349.6},
  url = {https://arxiv.org/abs/2111.08209},
  note = {Source identifier: 2111.08209}
}