Presentation of the paper Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
This paper was presented in, the 1st International Workshop on Applicable Formal Methods (co-located with Formal Methods 2021)