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

Volume: 349, Pages: 77 - 84
Published: Nov 16, 2021
Abstract
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future, since it can guarantee the absence of errors and entire classes of attack. Recent advances in formal verification are being used to secure everything from unmanned drones to the internet. At the same time, the usable security research community has made huge progress...
Paper Details
Title
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Published Date
Nov 16, 2021
Journal
Volume
349
Pages
77 - 84
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.