Exploring Usable Security to Improve the Impact of Formal Verification:
A Research Agenda

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

16 November 2021

Caroline Carreira

Nicolas Christin

Papers citing "Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda"

Title
No papers