Search

Nicholas Christin

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

Published with Wowchemy — the free, open source website builder that empowers creators.